#Sat Jun 05 12:12:46 CEST 2004
crazy_filename=crazy.c
crazy_submit_time=2004.06.05 12\:12\:45
crazy=2000000
