if (!top.FramesetGeladen){
if(document.images)
top.location.replace(ZielDatei); 
else 
top.location.href = ZielDatei ;
}

function mailzeigen() {
var name = "office";
var domain = "replugged.at";
var ausgabe = name + '@' + domain;
document.write('e-Mail: <a href=\"mailto:' + name + '@' + domain + '\">');
document.write(ausgabe + '</a>');
}