// javascript to rebuild frameset
if ((top.location.href) && (top.location.hash))document.location = top.location.hash
if (self == self.parent){ 
	var indexPage = "/index_atlantis_press.html";
	var myPage = indexPage + '?' + escape(self.document.location.href);
	
	if (document.images) {
		top.location.replace(myPage);
	}else{
		top.location.href = myPage;
	}
}