portsurvey log for http://jump-math.sourceforge.net

> http://jump-math.sourceforge.net/ ok