my( $day, $month, $date, $time, $hour, $min, $sec, $year);
($day,$month,$date,$time,$year)=split(" ","Mon Jul 17 17:59:31 2000");
($hour,$min,$sec)=split(":",$time);