if (window != top){
		top.location.href = location.href;
}


// pop-up fenster zum bild in originalgroesse anschauen
function detail(x)
{
var x;
 bildfenster = window.open("detail.php?id="+x, "erlaeuterung", "width=680,height=800,scrollbars");
 bildfenster.focus();
}

function schliessen()
{
fenster=window.close("<?= $HTTP_SERVER_VARS['PHP_SELF'] ?>");
}