#Sat Jun 05 11:19:32 CEST 2004
crazy_filename=crazy.c
crazy_submit_time=2004.06.05 11\:19\:31
crazy=2000000
