document.write ('<link rel="stylesheet" type="text/css" href="/common/css/' + (isWin () ? "win" : "mac") + '_'+ (isIE () ? "ie" : "ns") + ((readCookie ("fontsize") == "large") ? "_large" : ((readCookie ("fontsize") == "small") ? "_small" : "")) + '.css">');
var InfoText = '';

function isWin () { return (navigator.appVersion.indexOf ("Win") != -1); }
function isMac () { return (navigator.appVersion.indexOf ("Mac") != -1); }
function isIE () { return (navigator.appName.indexOf ("Explorer") != -1); }
function isW3CDOM () { return (document.getElementById ? true : false); }

function readCookie (id) { return (new RegExp (" " + id + "=([^;]*)")).test (" " + document.cookie) ? unescape (RegExp.$1) : null; }
function readCookie (id) { return (new RegExp (" " + id + "=([^;]*)")).test (" " + document.cookie) ? unescape (RegExp.$1) : null; }
function writeCookie (id, value, days, path, domain, secure) { if (days) { var d = new Date; d.setTime (d.getTime () + days * 86400000); } document.cookie = id + "=" + escape (value) + (days ? ("; expires=" + d.toGMTString ()) : "") + (path ? ("; path=" + path) : "") + (domain ? ("; domain=" + domain) : "") + (secure ? "; secure" : ""); return true; }
function deleteCookie (id, path, domain) { var r = false; if (readCookie (id)) { writeCookie (id, "", -1, path, domain); r = true; } return r; }

function changeFontSetting (s) { writeCookie ("fontsize", s, 1, "/"); }
function printFontSetting ( ) {
document.write (
  '<table width="76" height="15" border="0" cellpadding="0" cellspacing="0" summary="">' + 
  '<tr valign="bottom">' + 
  '<td align="left" colspan="7"><img src="/common/img/t_textsize.gif" width="48" height="10" alt="文字のサイズ"></td>' + 
  '</tr>' + 
  '<tr valign="bottom">'
);

document.write ( '<td height="27"><img src="/common/img/s.gif" width="4" height="1" alt=""></td>' );

if( readCookie ("fontsize") == 'small' ){
  document.write ( '<td><img src="/common/img/p_textsize_sho_s.gif" width="22" height="22" border="0" alt="文字のサイズ：小"></td>' );
} else {
  document.write ( '<td><a href="javascript:location.reload ();"><img src="/common/img/p_textsize_sho.gif" width="22" height="22" border="0" onclick="javascript:changeFontSetting (\'small\')" alt="文字のサイズ：小"></a></td>' );
}

document.write ( '<td><img src="/common/img/s.gif" width="3" height="1" alt=""></td>' );

if( readCookie ("fontsize") != 'large' && readCookie ("fontsize") != 'small' ){
  document.write ( '<td><img src="/common/img/p_textsize_chu_s.gif" width="22" height="22" border="0" alt="文字のサイズ：中"></td>' );
} else {
  document.write ( '<td><a href="javascript:location.reload ();"><img src="/common/img/p_textsize_chu.gif" width="22" height="22" border="0" onclick="javascript:changeFontSetting (\'\')" alt="文字のサイズ：中"></a></td>' );
}

document.write ( '<td><img src="/common/img/s.gif" width="3" height="1" alt=""></td>' );

if( readCookie ("fontsize") == 'large' ){
  document.write ('<td><img src="/common/img/p_textsize_dai_s.gif" width="22" height="22" border="0" alt="文字のサイズ：大"></td>' );
} else {
  document.write ('<td><a href="javascript:location.reload ();"><img src="/common/img/p_textsize_dai.gif" width="22" height="22" border="0" onclick="javascript:changeFontSetting (\'large\')" alt="文字のサイズ：大"></a></td>' );
}

document.write ( '<td><img src="/common/img/s.gif" width="7" height="1" alt=""></td>' );

document.write (
  '</tr>' + 
  '</table>'
);
}