var g_place_holder_clock 	= null;
	var g_interval_id_clock 	= null;
	var g_supports_w3c_dom		= (document.getElementById) ? true : false;

	function clock_time()
	{
		return new Date().toLocaleString();
	}

	function clock()
	{
		if(g_place_holder_clock == null)
			g_place_holder_clock = document.getElementById('placeholder');
			
		// innerText does not work with Mozilla 1.7b, innerHTML will work
		g_place_holder_clock.innerHTML = clock_time() + " ";
	}

	function start_clock()
	{
// disabled!!!!
return;
		// if the browser does not support w3c dom, 
		// there's really no point to set the clock interval
		if(g_supports_w3c_dom)
			g_interval_id_clock = setInterval("clock()", 1000);
	}