"; ?> $ore "; print " $minuti "; print " $secondi "; ?>