A fan is making 600 revolutions per minute. If after some time it makes 1200 revolutions per minute