<!-- 
//Make reference to the selected link
function makeLinkTo(s) { window.top.location.href =
s.options[s.selectedIndex].value; }
//-->