function changetext(menuno){
	for (i = 0;  i < 14;  i++){
		document.getElementById(i).style["display"] = "none";
	}
	document.getElementById(menuno.toString()).style["display"] = "";
}