document.writeln('<a class="topnav" href="pat_info_phone.html">Important&#160;Phone&#160;Nos.</a>&#160;|&#160;<a class="topnav" href="pat_info_dial.html">Dialing&#160;Instructions</a>&#160;|&#160;<a class="topnav" href="pat_info_cafe.html">Cafeteria&#160;&&#160;Hospitality&#160;Hours</a>')