<!--

function js_togglevisibility(e) {	
	if (document.getElementById(e).style.display=="none"){
		document.getElementById(e).style.display="block";
	}else{
		document.getElementById(e).style.display="none";
	}
}

function new_win(url,winprops)  {
	mywin=window.open(url,"win",winprops);//mywin.moveTo(0,0);
	mywin.focus();
}

function jumptohref(loc){
	window.location.href=loc.value;
}
-->