function header() {
	document.write('<table width="700" border="0" cellpadding="0" cellspacing="0">\n');
	document.write('<tr><td rowspan="2"><a href="../index.html"><img src="../img/top_logo1.gif" width="110" height="60" border="0" alt=""></a></td>\n');
	document.write('<td rowspan="2"><img src="../img/spacer.gif" width="460" height="1" alt=""></td>\n');
	document.write('<td><img src="../img/top_logo2.gif" width="130" height="46" alt=""></td></tr>\n');
	document.write('<tr><td align="right"><img src="../img/menu_toiawase.gif" width="126" height="14" border="0" alt="‚¨–â�‡‚¹�EŽ‘—¿�¿‹�|TOP" usemap="#otoiawase"></td></tr>\n');
	document.write('</table>\n');
	document.write('<map name="otoiawase">\n');
	document.write('<area shape="rect" coords="0,0,90,14" href="../reference/index.html" alt="‚¨–â�‡‚¹�EŽ‘—¿�¿‹�" title="‚¨–â�‡‚¹�EŽ‘—¿�¿‹�">\n');
	document.write('<area shape="rect" coords="104,0,126,14" href="../index.html" alt="TOP" title="TOP">\n');
	document.write('</map>\n');
} // header()