function nav_over(el) {
document.getElementById(el).style.backgroundImage="url('./gfx/nav-o-master.gif')";
}
function nav_out(el) {
document.getElementById(el).style.backgroundImage="url('none')";
}