document.write('<dl>');
document.write('<dt title="文字サイズ">文字サイズ</dt>');
document.write('<dd><a href="#"><img src="/img/btn_font_s.gif" alt="小" name="btn_small" width="14" height="14" border="0" class="btn_small" id="bt_s" title="小" /></a></dd>');
document.write('<dd><a href="#"><img src="/img/btn_font_m.gif" alt="中" name="btn_medium" width="14" height="14" border="0" class="btn_medium" id="bt_m" title="中" /></a></dd>');
document.write('<dd><a href="#"><img src="/img/btn_font_l.gif" alt="大" name="btn_large" width="14" height="14" border="0" class="btn_large" id="bt_l" title="大" /></a></dd>');
document.write('</dl>');
document.write('<form method="POST" action="/script/namazu8.cgi">');
document.write('<input type="text" name="query" size="20" value=""><input type="submit" name="submit" id="searchsubmit" alt="検索" value=""/><input type="hidden" name="whence" value="0"><input type="hidden" name="lang" value="ja">');
document.write('</form>');