function time_cell ( value ) { 
	document.write ( "<tr><td style='font-size:9pt'" + 
	" onmouseover=\"this.style.color='white';this.style.backgroundColor='navy';\" " +
	" onmouseout=\"this.style.color='black';this.style.backgroundColor='white';\" " + 
	" onclick='set_time(" + value + ");'>" +
	value/100 + ":00" + 
	"</td></tr>" ) ; 
}

function time_panel_setup ( pos , left_pos , layer_id ) { 
	time_field = 0 ; 
	time_desc = 0 ; 
	document.write ( 
	"<div id='" + 
	layer_id + 
	"' style='position: absolute; left:" + left_pos + 
	"; top:" + pos + 
	"; visibility:hidden; background-color:white; z-index:10000000; '>" + 
	"<table style='border-style:solid; border-width:1; border-color:black'>" ) ; 
	time_cell ( "700" ) ; 
	time_cell ( "900" ) ; 
	time_cell ( "1100" ) ; 
	time_cell ( "1300" ) ; 
	time_cell ( "1500" ) ; 
	time_cell ( "1700" ) ; 
	time_cell ( "1900" ) ; 
	time_cell ( "2100" ) ; 
	time_cell ( "2300" ) ; 
	document.write ( "</table></div>" ) ; 
}

function set_time ( tv ) { 
	if ( tv < 1000 ) document.getElementById ( time_field ) . value  = "0" + tv ;  
	else document.getElementById ( time_field ) . value  = tv ;  
	document.getElementById ( time_desc ) . firstChild 
	. nodeValue  = parseInt(tv/100) + ":00" ;  
}