var timer = null

function stop() { clearTimeout(timer); }

function start() {
	var time = new Date();
	var date = (time.getMonth()+1) + "/" + time.getDate() + "/" + time.getFullYear();
	var diff = (time.getTimezoneOffset()/60) - 7;
	var hours = time.getHours()+diff; hours = ((hours > 12) ? hours-12 : hours)
	var minutes = time.getMinutes(); 	minutes=((minutes < 10) ? "0" : "") + minutes;
	document.getElementById("theTime").innerHTML = date + " <b>" + hours+":"+minutes+"</b>";
	timer = setTimeout("start()",200);
}