function showMenu(k){
      for(i=0;i<7;i++)
	  {
	  obj_Menu=document.getElementById("menu_"+ i );
	    if(i==k){
		 obj_Menu.src="/images/menu" + i +"_red.jpg";
 		 }else{
		 obj_Menu.src="/images/menu" + i +".jpg";;
		}	    
	  }   
   }