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