document.write(`

		<span style="height:60px;color:#BBB; display:block">menu</span>

		<span class="my_menu_dim">
			<a href="index.html">home</a>
			<a href="m_about.html">about</a>
		  	<a href="m_download.html">download</a>
		  	<a href="m_doc.html">vdc docu</a>

		<div class="my_menu_sub">

			<a href="#ainterface">user interface</a>
			<a href="#amenu">main menu</a>
			<a href="#charset">character set</a>
			<a href="#a1401commands">1401 CPU</a>
			<a href="#a1401panel">front panel</a>
			<a href="#a1403">1403 printer</a>
			<a href="#a1407">1407 terminal</a>
			<a href="#a1402">1402 reader</a>
			<a href="#a026">026 punch</a>
			<a href="#a729">729 tape drive</a>
			<a href="#adrawers">card drawers</a>
			<a href="#atrash">trash bin</a>
			<a href="#areelstand">reel stands</a>
			<a href="#asimh">simh formats</a>
			<a href="#aissues">known issues</a>
		  	
		</div>
		  	
		 	<a href="m_literature.html">1401 docu</a>
		  	<a href="m_changelog.html">changelog</a>
		  	<a href="m_youtube.html">youtube</a>
		 	<a href="m_resources.html">resources</a>
		 	<a href="m_credits.html">credits</a>
	 	</span>
`);