function nav_over(a){document.getElementById(a).style.backgroundImage="url('images/backgrounds/bar_bg_selected.png')"}function nav_out(a){document.getElementById(a).style.backgroundImage="url('images/backgrounds/bar_bg.png')"}