<!-- 
/** oplossing voor selecteren-tekst bug in IE bij gepositioneerde elementen **/
var detect = navigator.userAgent.toLowerCase();
var OS, browser,version,total,thestring;

function checkIt(string) {
   place = detect.indexOf(string) + 1;
   thestring = string;
   return place;
}

if (checkIt('msie')) {
   browser = "Internet Explorer";
   setTimeout (new Function("document.body.style.height = document.documentElement.scrollHeight+'px';"), 100);
}

// -->