	function cname(x,c){x.className=c;}
	function gei(x){return document.getElementById(x); }
	function show(x){gei(x).style.display='block';}
	function hide(x){gei(x).style.display='none';}
	function jump(x){window.location=x;}
	function updateNotes(x){ gei('notes').innerHTML=gei('notes_'+x).innerHTML;}
	function selectRadio(obj){obj.getElementsByTagName("input")[0].checked=true;}