function optionMenu(opt) {
location.href = opt.options[opt.selectedIndex].value;
}
function winOpen(winName,url,W,H){
  var WinD11=window.open(url,winName,'scrollbars=1,width='+W+',height='+H+'');
  WinD11.document.close()
}