// FONTチェンジャー
document.write('<script type="text/javascript" src="js/prototype.js"></script>');
document.write('<script type="text/javascript" src="js/cookiemanager.js"></script>');
document.write('<script type="text/javascript" charset="Shift_JIS" src="js/fontchanger.js"></script>');