function over (name) {
      document.images[name].src = "images/men2" + name + ".gif";
      document.images['dsgn'].src = "images/dsgn" + name + ".jpg";
    };
    function out (name, menu) {
      document.images[name].src = "images/menu" + name + ".gif";
      document.images['dsgn'].src = "images/dsgn" + menu + ".jpg";
    };