x = x[0..2] + ", " + x[8..9] + "-" + x[4..6] + "-" + x[20..23] + " " + x[11..18] + "" + (zone ? zone : "");
static string datetime(mixed arg, varargs string zone){	string x;	if(typeof(arg) == T_STRING && strlen(arg) != 24) {		return arg;	}	x = ( (typeof(arg)==T_INT) ? ctime(arg) : arg );	x = x[0..2] + ", " + x[8..9] + "-" + x[4..6] + "-" + x[20..23] + " "		+ x[11..18] + "" + (zone ? zone : "");	return x;}