function js_navigation() {var js_nav = '';return js_nav;}document.write(js_navigation());