function framecheck() {
	if (top.frames.length == 0) {
		pathname = window.location.pathname.substr(1, window.location.pathname.length - 1);

		uri = window.location.protocol + "//" + window.location.host + "/cgi-bin/HomeFrameset.cgi?" + pathname;
		window.location = uri;
	}
}