function pic1(menuPoint){
    document.images[menuPoint].src = '/img/menu_dot1.gif';
    }

  function pic2(menuPoint){
    document.images[menuPoint].src = '/img/menu_dot2.gif';
    }