if (!navigator.javaEnabled()) {
	alert ("JavaScript is disabled.");
}

if (top.location != self.location) {
	top.location = self.location;
}

// flash page open

var flag=false;
var extra;

function OpenExtra()
{
	// open the Flash page
	var extraURL = "flash.html";
	extra = window.open(extraURL,"ExtraEntrance","toolbar=yes,location=no,directories=no,status=yes,menubar=no,scrollbars=no,resizable=yes,width=515,height=505");
	flag=true;
}

function Bye()
{
	if (flag) {
		if (!extra.closed) {
			extra.close();
		}
	}
}