var W3CDOM = (document.getElementsByTagName && document.createElement)

if (W3CDOM && (parent == top))
	location.replace('catalogus.php');