// Special css für Browser != Explorer //

if ((navigator.appName == "Netscape") && (navigator.appVersion.indexOf("4") != "-1")) {
document.writeln("<style type='text/css'> b {font-size : 12px; text-decoration : bold;}</style>");
}

////////////////////////////////////////

function popup(name) {
if ((document.all) && (top.newWindow)) {newWindow.close();}
irgendwas = new Date();
var fname = irgendwas.getTime();
newWindow = open(name[0], fname, "width=" + name[1] + ",height=" + name[2] +",scrollbars=no");
  }
  
function callback(){
irgendwas = new Date();
var fname = irgendwas.getTime();
callWindow = open('callback.php', fname, "width=280,height=190,scrollbars=no");
}

function checkit(){
if (document.Form1.suchstring.value == "") {
return false;
}
}