document.write('<map name="map1">\n');
	document.write('<area shape="rect" href="html/classICMPTwistSocket.html" title="Class documentation" alt="" coords="400,315,539,363">\n');
	document.write('<area shape="rect" href="html/classStdin.html" title="Class documentation" alt="" coords="491,123,563,171">\n');
	document.write('<area shape="rect" href="html/classStdin2.html" title="Class documentation" alt="" coords="491,219,563,267">\n');
	document.write('</map>\n');