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