function getCookie(Name) { //get cookie value
    var re=new RegExp(Name+"=[^;]+", "i"); //construct RE to search for target name/value pair

    if (document.cookie.match(re)) //if cookie found
    return document.cookie.match(re)[0].split("=")[1] //return its value
    return ""
}

function setCookie(name, value, days) { //set cookei value
    var expireDate = new Date();

    //set "expstring" to either future or past date, to set or delete cookie, respectively
    var expstring=expireDate.setDate(expireDate.getDate()+parseInt(days))
    document.cookie = name+"="+value+"; expires="+expireDate.toGMTString()+"; path=/";
}

function pauseme(millis) {
    var date = new Date();
    var curDate = null;

    do { curDate = new Date(); }
    while(curDate-date < millis);
}

function validateSearch(f) {
	var s = f.s.value;

	if(IsNumeric(s)) {
		if(s.length == 7) {
			s = "\"" + s.substring(0,2) + " " + s.substring(2,5) + " " + s.substring(5,7) + "\"";
		}
	}
	f.s.value = s;
    f.submit();
}

// STRÄNG FUNKTIONER

function IsNumeric(sText)
{
   var ValidChars = "0123456789.";
   var IsNumber=true;
   var Char;


   for (i = 0; i < sText.length && IsNumber == true; i++)
      {
      Char = sText.charAt(i);
      if (ValidChars.indexOf(Char) == -1)
         {
         IsNumber = false;
         }
      }
   return IsNumber;
   
   }