function processMenuChoice(menu) { targetPage=menu.options[menu.selectedIndex].value; document.getElementById('I1').src=targetPage; } /function