function object_show(id) {
	if (document.getElementById(id)) document.getElementById(id).style.display='inline';
}

function object_hide(id) {
	if(document.getElementById(id)) document.getElementById(id).style.display='none';
}

function show_clock() {
	var time=new Date();
	clock.innerText=time.toLocaleString();
	setTimeout('show_clock()', 1000);
}