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