function startTimer() {
   new Ajax.PeriodicalUpdater('clock', '/clock.php', { method: 'get', frequency: 1 } );
}
function stopTimer() {
   Ajax.PeriodicalUpdater( { method: 'stop' } );
}