function headerImageToggleOn(id) {headerImagetoggle(id,"-over");}
function headerImageToggleOff(id) {headerImagetoggle(id,"");}
function headerImagetoggle(id,state) {
  o=$(id);if (o!=null) {o.src="/images/header/"+id+state+".gif";}
}