// JavaScript Document
document.write('<div id="contents_nav">');
document.write('<ul>');
document.write('<li><a href="#" id="n-anni">道後グランドホテルのアニバーサリー（記念日）サービス</a></li>');
document.write('<li><a href="#hospitality" id="n-hospitality">道後グランドホテルのおもてなし</a></li>');
document.write('</ul>');
document.write('</div>');