__textmenu = "" + 

'<li><a href="index.html">トップ</a></li>' + 
'<li><a href="story.html">ストーリー</a></li>' + 
'<li><a href="chara.html">キャラクター</a></li>' + 
'<li><a href="gallery.html">ギャラリー</a></li>' + 
'<li><a href="download.html">ダウンロード</a></li>' + 
'<li><a href="spec.html">スペック</a></li>' + 
'<li class="last"><a href="pub.html">雑誌掲載</a></li>' + 
"";

document.write( __textmenu );