anss123

Wow, this is a trip back in time :) I am not actually sure that 10 flops is correct anymore; possibly I got that from friends who used...