<script>
var nav_num = document.getElementById('nav_num');
var options = document.getElementsByTagName('option');
for(i=0;i<options.length;i++) {
if (options[i].value == nav_num.value) {
options[i].setAttribute('selected','selected');
}
}
</script>