function updateTime()
{
	++seconds;
	document.getElementById( "soFar" ).innerHTML = seconds;
} // end function updateTime

// called every 1000 ms to update the timer

called every 1000 ms to update the timer
called every 1000 ms to update the timer
function updateTime()
{
	++seconds;
	document.getElementById( "soFar" ).innerHTML = seconds;
} 
function updateTime ( ) { ++ seconds ; document . getElementById ( "soFar" ) . innerHTML = seconds ; }
called every 1000 ms to update the timer
called every 1000 ms to update the timer
// end function updateTime
