var nav_hovercolor = "#ffffff";//onMouseover color
var nav_floatcolor = "#026bac";//onMouseout color

var nav_hovercolor2 = "#ffffff";//onMouseover color
var nav_floatcolor2 = "#5a7378";//onMouseout color

var nav_hovercolor_um = "#f2f3f4";//onMouseover color


function nav_hover(obj) { obj.style.backgroundColor=nav_hovercolor; }
function nav_hover_um(obj) { obj.style.backgroundColor=nav_hovercolor_um; }
function nav_float(obj) { obj.style.backgroundColor=nav_floatcolor; }