<!-- hide script from old browsers		function writeNavig()		{				navData = "<img src='..\/images\/pxl_brown.gif' alt='' width='132' height='1' hspace='9' vspace='3' border='0'><br \/>";		navData += "<span class='subNavHead'><b>Detailed cv information<\/b><\/span><br \/><br \/>";		navData += "<a class='subNav' href='briefCv.html' target='_self'>Curriculum Vitae<\/a><br \/>";		navData += "<a class='subNav' href='education.html' target='_self'>Education<\/a><br \/>";		navData += "<a class='subNav' href='publications.html' target='_self'>Publications<\/a><br \/>";		navData += "<a class='subNav' href='presentations.html' target='_self'>Selected Presentations<\/a><br \/>";		navData += "<a class='subNav' href='employment.html' target='_self'>Employment<\/a><br \/>";		navData += "<a class='subNav' href='boards.html' target='_self'>Board Memberships<\/a><br \/>";		document.write(navData);		}// end hiding script from old browsers -->