function runSearch() {
	qry=document.forms[0].SearchInput.value
	re = / /gi
	newqry = qry.replace(re,"+")
	sUrl="http://"+Server_Name+"/"+DbFilePath+"/wSearchView?SearchView&Query=" + newqry;
	sUrl+="&SearchFuzzy=TRUE&SearchOrder=3";
	if (qry=="") alert("Please fill in a search string")
	else 	document.location = sUrl
}
function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);
function AddToFaves_hp(){
            var is_4up = parseInt(navigator.appVersion);
            var is_mac   = navigator.userAgent.toLowerCase().indexOf("mac")!=-1;
            var is_ie   = navigator.userAgent.toLowerCase().indexOf("msie")!=-1;
            var thePage = location.href;
            if (thePage.lastIndexOf('#')!=-1)
                        thePage = thePage.substring(0,thePage.lastIndexOf('#'));
            if (is_ie && is_4up && !is_mac) 
                        window.external.AddFavorite(thePage,document.title);
            else if (is_ie || document.images)
                        booker_hp = window.open(thePage,'booker_','menubar,width=325,height=100,left=140,top=60');
}
if (window.name=='booker_'){
            var pre_fix = document.images? '<BR>':'';
            document.write(pre_fix + '<P align="center">'
            + 'Use the menu or ctrl/cmd-D now <BR>to bookmark the page then <BR>'
            + '<A href="javascript:window.close();">close this window</A></p>'
            + '<P>&nbsp;</P><P>&nbsp;</P><P>&nbsp;</P><P>&nbsp;</P><P>&nbsp;</P>');
}
function saveCookie(name,value,days) {
	if (days) {
		var date=new Date();
		date.setTime(date.getTime()+(days*24*60*60*1000));
		var expires="; expires="+date.toGMTString();
	} 
	else expires = "";
	document.cookie = name+"="+value+expires+"; path=/";
}
function setCookieLangNo() {
	saveCookie("lang","no",3650);
	window.location.reload();
}
function setCookieLangEn() {
	saveCookie("lang","en",3650);
	window.location.reload();
}