function menu_over(div, newclass){
	document.getElementById(div).className= newclass;
}

function pointer(div){
	div.style.cursor='pointer';	
}

function changeloc(loc){
	document.location = loc;	
}

function change_display(end,start){
	document.getElementById(end).style.display='none';
	document.getElementById(start).style.display='block';	
}

function display(div){
	document.getElementById(div).style.display=(document.getElementById(div).style.display=='block')?'none':'block';
}