function topmenusel (name)
    {
      document.images[name].src="design/top/"+name+".gif";
    }
    function topmenuunsel (name)
    {
      document.images[name].src="design/top/"+name+"_sel.gif";
    }