		<!--to hide script contents from old browsers
		/*script programs written by atsushi katayama.*/
		/*user-defined data type*/
		if(!window.definedWidth) {
			window.onresize = check_size;
			window.definedWidth = window.innerWidth;
			window.definedHeight = window.innerHeight;
		}
		function check_size() {
			if (definedWidth < window.innerWidth || definedWidth > window.innerWidth || definedHeight > window.innerHeight || definedHeight < window.innerHeight) {
			location.reload();
			}
		}
		// end hiding contents from old browsers  -->