function bg_hover(obj) {
  obj.style.background = 'url(img/nav_a.gif) no-repeat';
}
function bg_out(obj) {
  obj.style.background = 'none';
}