document.write('<style type="text/css" title="HomePageNavigationStyle" media="screen">#HomePageNavigationBar_1 #D_1,#HomePageNavigationBar_4 #D_4,#HomePageNavigationBar_6 #D_6,#HomePageNavigationBar_7 #D_7,#HomePageNavigationBar_11 #D_11,#HomePageNavigationBar_16 #D_16{text-decoration:none;font-weight:bold;}</style>');
document.write('<A id="D_1" href="http://homepage.mac.com/cyril.petitjean/index.html">Cyril Petitjean</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_4" href="http://homepage.mac.com/cyril.petitjean/home.html">Home</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_6" href="http://homepage.mac.com/cyril.petitjean/pub.html">Publications</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_7" href="http://homepage.mac.com/cyril.petitjean/perso.html">Personal</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_11" href="http://homepage.mac.com/cyril.petitjean/helppages.html">Helppages</A>\n&nbsp;<A href="#" style="text-decoration:none">|</A>&nbsp;\n<A id="D_16" href="http://homepage.mac.com/cyril.petitjean/Menu16.html">Links</A>');