function dummy24() { }

var timeId24 = 0;

function updateWatch24() { 
	var tid = new Date();
	var h = tid.getHours();
	var hrs = (h>=10)?(""+h):("0"+h);
	var m=tid.getMinutes();
	var mns = (m>=10)?(":"+m):(":0"+m);
	var s=tid.getSeconds();
	var scs = (s>=10)?(":"+s):(":0"+s);
	document.getElementById('time_watch').innerHTML = hrs+mns+scs;
	drawSubmenu();
	timeId24 = setTimeout('updateWatch24()',500);
};