	<!--
	///////////////////////////////////////////////////////////////////////////////////////////////////////////////
	// for clock:
	var timerID = null;
	var timerRunning = false;
	var EarthNow = null;
	var MarsNow = null;
	i = 1;

	//Added by JKD to eliminate the need for a body onload
	showTime();

	// not using these two functions but might as well keep them JIC:
	function stopClock()
	{
		if (timerRunning) clearTimeout(timerID);
		timerRunning = false;
	}

	function startClock()
	{
		stopClock();
		showTime();
	}

	// updates the clocks every microsol:
	function showTime()
	{
		// get current Earth time:
		var EarthNow = new Date();

		// get corresponding Mars Date:
		var MarsNow = new MarsDate(EarthNow.valueOf());

		// set clock fields:
		// Mars
		var oldMarsTime = document.getElementById('Clock').MarsTime.value;
		var newMarsTime;
		if (document.getElementById('Clock').MarsUnits[0].checked)
			newMarsTime =  FormatMarsTimeTimeslip(MarsNow);
		else if (document.getElementById('Clock').MarsUnits[1].checked)
			newMarsTime =  FormatMarsTimeDecimal(MarsNow);
//		else
//			newMarsTime =  FormatMarsTimeStretched(MarsNow);
		document.getElementById('Clock').MarsTime.value = newMarsTime;

		if (newMarsTime != oldMarsTime)
		{
			document.getElementById('Clock').MarsSol.value = SolName(MarsNow.Sol);
			document.getElementById('Clock').MarsDate.value = FormatMarsDate(MarsNow);
		}


		// Earth:
		var oldEarthTime = document.getElementById('Clock').EarthTime.value;
		var newEarthTime;
		if (document.getElementById('Clock').EarthUnits[0].checked)
			newEarthTime =  FormatTime(EarthNow);
		else if (document.getElementById('Clock').EarthUnits[1].checked)
			newEarthTime =  FormatTimeDecimal(EarthNow);
		document.getElementById('Clock').EarthTime.value = newEarthTime;
		if (newEarthTime != oldEarthTime)
		{
			document.getElementById('Clock').EarthDay.value = EnglishDayName(EarthNow.getUTCDay());
			document.getElementById('Clock').EarthDate.value = FormatDate(EarthNow);
		}

		// when next to call showtime:
		timerID = setTimeout("showTime()", 89);
		timerRunning = true;
	}
	// -->