function submit_form() {
     document.form_name.submit();
}

function handle_menu_options(menu) {
    if ( menu.options[menu.selectedIndex].value ) {
	window.location.href = menu.options[menu.selectedIndex].value;
    }
    return false;
}

function open_window(name, url, width, height, menu) {
    window.name = "mainwin"; 
    var win = window.open( url,
			   name,
			  "toolbar=no," +
			  "location=no," +
			  "directories=no," +
			  "status=no," +
			  "menubar=yes," +
			  "scrollbars=yes," +
			  "resizable=yes," +
			  "width=" + width + "," +
			  "height=" + height + "," +
			  "innerwidth=" + width + "," +
			  "innerheight=" + height + ","
			  );
    win.focus();
}