function over(elid){
  document.getElementById(elid).src="/images/nav_over_state.gif"; 
}

function out(elid){ 
  document.getElementById(elid).src="/images/spacer.gif"; 
}