<!--
var TRange=null

function findString (str, win) {
if (parseInt(navigator.appVersion)<4) return;
var strFound;
if (navigator.appName=="Netscape") {

if (!win) win = self;
win.focus();

// NAVIGATOR-SPECIFIC CODE

strFound=win.find(str);
if (!strFound) {
strFound=win.find(str,0,1)
while (win.find(str,0,1)) continue
}
}
if (navigator.appName.indexOf("Microsoft")!=-1) {

// EXPLORER-SPECIFIC CODE

if (TRange!=null) {
TRange.collapse(false)
strFound=TRange.findText(str)
if (strFound) TRange.select()
}
if (TRange==null || strFound==0) {
TRange=win.document.body.createTextRange()
strFound=TRange.findText(str)
if (strFound) TRange.select()
}
}
if (!strFound) alert ("Helaas '"+str+"' werd niet gevonden! Probeer iets anders...")
}

//-->