PUMP2DOTFUN (PUMP2.FUN)