<!--
	function chg_bgc(a,b,c) {
		a.style.backgroundColor= b;
		a.style.border = c;
	}
	function c_b_std1(a) {
		a.style.backgroundColor= "#FF0000";
		
	}
	function c_b_std2(a) {
		//a.style.backgroundColor= "#FFCC33";
		a.style.backgroundColor= "#993300";
	}
	function subwin(file){
		window.open(file,"window2","width=640,height=350,scrollbars=1");
	}
-->