function arrow_hover( obj )
 {
    obj.src = "Images/Hover.gif";
 }

 function arrow_unhover( obj )
 {
    obj.src = "Images/Hover_trans.gif";
 }
 
 function arrow_hover2( obj )
 {
    obj.className = "NAV_HOVER";
 }
 
 function arrow_unhover2( obj )
 {
    obj.className = "NAV_NOHOVER";
 }