document.write('<td class="menu" width="120" onmouseover="showmenu(\'publications\')" onmouseout="hidemenu(\'publications\')"><center><a class="menu" id="publicationsmain" href="../publications/index.html">Publications</a></center><table class="submenu" id="publications" width="120" border="0" cellpadding="5" cellspacing="0"><tr><td class="submenu"><a class="menu" onclick="hidemenu(\'publications\')" href="../publications/index.html#BOOKS">Books</a></td></tr><tr><td class="submenu"><a class="menu" onclick="hidemenu(\'publications\')" href="../publications/index.html#JOURNALS">Journals</a></td></tr><tr><td class="submenu"><a class="menu" onclick="hidemenu(\'publications\')" href="../publications/index.html#CONFERENCES">Conferences</a></td></tr><tr><td class="submenu"><a class="menu" onclick="hidemenu(\'publications\')" href="../publications/index.html#ABSTRACTS">Abstracts</a></td></tr><tr><td class="submenu"><a class="menu" onclick="hidemenu(\'publications\')" href="../publications/index.html#OTHER">Other</a></td></tr></table></td>')