
<!-- Created on 20.01.2003 18:10:12 -->

function fullpage() {
	if (!top.TOP) window.location.replace("index.html")
}
fullpage();