$dow[0] = "Sun"; $dow[1] = "Mon"; $dow[2] = "Tue";
$dow[3] = "Wed"; $dow[4] = "Thu"; $dow[5] = "Fri";
$dow[6] = "Sat";

$moy[0] = "Jan"; $moy[1] = "Feb"; $moy[2] = "Mar";
$moy[3] = "Apr"; $moy[4] = "May"; $moy[5] = "Jun";
$moy[6] = "Jul"; $moy[7] = "Aug"; $moy[8] = "Sep";
$moy[9] = "Oct"; $moy[10] = "Nov"; $moy[11] = "Dec";


sub ctime {
    local($time) = @_;
    local($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst)
	= localtime($time);
    return sprintf("%s %s %2d %02d:%02d:%02d %4d",
		   $dow[$wday], $moy[$mon], $mday,
		   $hour, $min, $sec,
		   1900+$year);
}

sub gmctime {
    local($time) = @_;
    local($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst)
	= gmtime($time);
    return sprintf("%s %s %2d %02d:%02d:%02d %4d",
		   $dow[$wday], $moy[$mon], $mday,
		   $hour, $min, $sec,
		   1900+$year);
}