// JavaScript Document
	var docpathname =	location.pathname;
	var params = location.href.split('?');
	if (params[1]) {docpathname =	location.pathname + '?' + location.href.split('?')[1]}
	//	FRAMEJAMMER_HK	V3.2
	if	(window.name!='mainFrame_is' && window.name!='booker_'
			&&	!((self.innerHeight == 0) && (self.innerWidth == 0)))
			top.location.replace('/set.html?'+docpathname+'~mainFrame_is');
	//	FRAMEJAMMER_HK	END
//-->