function ersetzen(adresse) {
top.location.href = adresse;
}
if (top.geladen + "" != "okay")
ersetzen("home.htm");