".$_pal1."：".$_pal2; print " (".$_time.")\n"; ?>