document.write('<select id="navigator" onchange="navigate_page(this);">');
build_select();
document.write('</select>');
current_page(document.getElementById('navigator'));