<!--
loc = document.referrer;
if(loc.indexOf("varta") == -1)
{
file = document.location.href;
file = file.substr(file.indexOf("/pmd/",4) +5, file.length);
ziel = "/index2.php?content=../pmd/" + file;
document.location.href = ziel;
}

//-->