
function $(xdiv){ return document.getElementById(xdiv) }
function menus(z,n){
	var i;
	for(i=1;i<z+1;i++){
		$("nr_"+i).style.display="none";
	}
	$("nr_"+n).style.display="block";
}