// JavaScript Document
document.write('<div id="contents_nav">');
document.write('<ul>');
document.write('<li><a href="index.htm#area1" id="n-spa1">露天風呂</a></li>');
document.write('<li><a href="index.htm#area2" id="n-spa2">大浴場</a></li>');
document.write('<li><a href="index.htm#area3" id="n-spa3">泉質・効能</a></li>');
document.write('</ul>');
document.write('</div>');