function show_jmenu(id) {
	x=1;
	while(el=document.getElementById("jmenuid"+x)) {
		if (x==id) {
			el.style.display="block";
		} else {
			el.style.display="none";
		}
		x++;
	}
	//document.getElementById("jmenuid"+id).style.display="block";
}