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