How many times 25 goes into 100?