var HD_x=1; // 1回目のページ読込みでは、header.htmlを再読込みしない
var HD_os;
var HD_app;

var HD_str1 = navigator.userAgent.toUpperCase();
if (HD_str1.indexOf('MAC') >= 0){
	HD_os='MacOS';
}

var HD_str2 = navigator.appName.toUpperCase();
if (HD_str2.indexOf('EXPLORER') >= 0){
	HD_app='Explorer';
}

/* header.html Reload */
function adchange(){
	if(HD_x==2){
		if((HD_os=='MacOS')&&(HD_app=='Explorer')){
			head.location.href = head.location.href;
			// Mac IEでは外部JSの変数（HD_x=2）がキャッシュに残ってしまうため
			// head.location.reload();は行わない
		}else{
			head.location.reload();
		}
	}
	HD_x=2;
}