function changePic(num1){
document.getElementById("picMenuTop").setAttribute("src","images/room7/menuB"+num1+".jpg");
}