function toLink(href){
	var pre="./";
//	var pre="./test/";
	location.href=pre+href;
}
var menutg;
function menudisp(tg){
	if(menutg != undefined)menutg.style.display='none';
	tg.style.display='block';
	menutg = tg;
}