var nav_end_image = 'nav_end.png';
var nav_hover_font_color = '#333333';
var nav_out_font_color = '#333333';