function topmenusel2 (name)
    {
      document.images[name].src="design/left/"+name+".gif";
    }
    function topmenuunsel2 (name)
    {
      document.images[name].src="design/left/"+name+"_sel.gif";
    }