if (menus_ok) {
	// about
	document.write ('\<div id="menuabout" class="menu" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', false);"\>');
	document.write ('\<span class="hiddentitle"\>About us:\<br\>\</span\>');
	document.write ('\<a href="policy.html" class="menulink" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', true);"\>Policy&nbsp;statement\</a\>\<br\>');
	document.write ('\<a href="structure.html" class="menulink" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', true);"\>Structure&nbsp;&amp;&nbsp;Statutes\</a\>\<br\>');
	document.write ('\<a href="membership.html" class="menulink" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', true);"\>Members\</a\>\<br\>');
	document.write ('\<a href="ec.html" class="menulink" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', true);"\>Executive&nbsp;Committee\</a\>\<br\>');
	document.write ('\<a href="secretariat.html" class="menulink" onmouseover="changeMenuVis(\'menuabout\', true);" onmouseout="changeMenuVis(\'menuabout\', true);"\>Secretariat&nbsp;&amp;&nbsp;contact\</a\>\<br\>');
	document.write ('\</div\>');
	// press room
	document.write ('\<div id="menupress" class="menu" onmouseover="changeMenuVis(\'menupress\', true);" onmouseout="changeMenuVis(\'menupress\', false);"\>');
	document.write ('\<span class="hiddentitle"\>Press room:\<br\>\</span\>');
	document.write ('\<a href="press_releases.html" class="menulink" onmouseover="changeMenuVis(\'menupress\', true);" onmouseout="changeMenuVis(\'menupress\', true);"\>Press&nbsp;releases\</a\>\<br\>');
	document.write ('\<a href="papers.html" class="menulink" onmouseover="changeMenuVis(\'menupress\', true);" onmouseout="changeMenuVis(\'menupress\', true);"\>Position&nbsp;papers\</a\>\<br\>');
	document.write ('\<a href="studies.html" class="menulink" onmouseover="changeMenuVis(\'menupress\', true);" onmouseout="changeMenuVis(\'menupress\', true);"\>Studies\</a\>\<br\>');
	document.write ('\</div\>');
	// events
	document.write ('\<div id="menuevents" class="menu" onmouseover="changeMenuVis(\'menuevents\', true);" onmouseout="changeMenuVis(\'menuevents\', false);"\>');
	document.write ('\<span class="hiddentitle"\>Events:\<br\>\</span\>');
	document.write ('\<a href="conference.html" class="menulink" onmouseover="changeMenuVis(\'menuevents\', true);" onmouseout="changeMenuVis(\'menuevents\', true);"\>Conference\</a\>\<br\>');
	document.write ('\</div\>');
	// links
	document.write ('\<div id="menulinks" class="menu" onmouseover="changeMenuVis(\'menulinks\', true);" onmouseout="changeMenuVis(\'menulinks\', false);"\>');
	document.write ('\<span class="hiddentitle"\>Links:\<br\>\</span\>');
	document.write ('\<a href="links_bookworld.html" class="menulink" onmouseover="changeMenuVis(\'menulinks\', true);" onmouseout="changeMenuVis(\'menulinks\', true);"\>Book&nbsp;World\</a\>\<br\>');
	document.write ('\<a href="links_institutions.html" class="menulink" onmouseover="changeMenuVis(\'menulinks\', true);" onmouseout="changeMenuVis(\'menulinks\', true);"\>Institutions\</a\>\<br\>');
	document.write ('\</div\>');
	// members only
	document.write ('\<div id="menumembers" class="menu" onmouseover="changeMenuVis(\'menumembers\', true);" onmouseout="changeMenuVis(\'menumembers\', false);"\>');
	document.write ('\<span class="hiddentitle"\>Members only:\<br\>\</span\>');
	document.write ('\<a href="members/newsletters.asp" class="menulink" onmouseover="changeMenuVis(\'menumembers\', true);" onmouseout="changeMenuVis(\'menumembers\', true);"\>Newsletter&nbsp;Archive\</a\>\<br\>');
	document.write ('\<a href="members/documents.asp" class="menulink" onmouseover="changeMenuVis(\'menumembers\', true);" onmouseout="changeMenuVis(\'menumembers\', true);"\>Minutes&nbsp;&amp;&nbsp;Documents\</a\>\<br\>');
	document.write ('\<a href="ec/m_ec.asp" class="menulink" onmouseover="changeMenuVis(\'menumembers\', true);" onmouseout="changeMenuVis(\'menumembers\', true);"\>Executive&nbsp;Committees\</a\>\<br\>');
	document.write ('\</div\>');
}