var hide1;
var hide2;
var hide3;
var hide4;
var hide5;
var hide6;
function jpmenu(x,y) {
	document.getElementById('JP' + x).style.visibility="visible";
}
function jpmenuhide(x) {
	document.getElementById('JP' + x).style.visibility="hidden";
}