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