function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
document.write("<table border=0 cellspacing=0 cellpadding=0><form name='theform' method='post' action='searchurl'><tr><td>");
document.write("<img src=../commonfiles/static.gif width=16 height=16 border=0>&nbsp;&nbsp;</td><td>");
document.write("<select name=shortcuts id=select size=1 class=input onchange=MM_jumpMenu('parent',this,0)>");
document.write("<option value=# selected>Shortcuts:</option>");
document.write("<option value='http://aase.holst.no/'>aase.holst.no</option>");
document.write("<option value='http://feen.holst.no/'>feen.holst.no</option>");
document.write("<option value='http://fisk.holst.no/'>fisk.holst.no</option>");
document.write("<option value='http://fugl.holst.no/'>fugl.holst.no</option>");
document.write("<option value='http://me.holst.no/'>me.holst.no</option>");
document.write("<option value='http://preludium.holst.no/'>preludium.holst.no</option>");
document.write("<option value='http://rock.holst.no/'>rock.holst.no</option>");
document.write("<option value='http://vaktel.holst.no/'>vaktel.holst.no</option>");
document.write("</select>&nbsp;</td><td>");
document.write("<input name=search id=search size=10 class=input>&nbsp;<INPUT type=image src=images/search.gif width=50 height=16 border=0 align=absmiddle>&nbsp;&nbsp;");
document.write("<a href='about.html' class=topline>about</a>");
document.write("<a href='contact.html' class=topline>&nbsp;|&nbsp;contact</a>");
document.write("<a href='../disclaimer.html' class=topline>&nbsp;|&nbsp;Disclaimer</a>");
document.write("&nbsp;&nbsp;&nbsp;&nbsp;<a href='../ihpc.cn/index.html'><img src='images/chn.gif' width=19 height=13 border=0></a>&nbsp;&nbsp;<img src='images/no.gif' width=19 height=13 border=0>&nbsp;&nbsp;<a href='../ihpc.en/index.html'><img src='images/eg.gif' width=19 height=13 border=0></a>&nbsp;&nbsp;</td></tr></form></table>");