document.writeln ("<a name=\"top\"></a>");

/************** floating header ********/
document.writeln ("<div align=center id=drifting_top name=drifting_top>\n");
document.writeln ("<table border=0 width='15px' valign=center>");
document.writeln ("<tr>\n");
document.writeln ("<td width=100><a href=#top><img src='/img/nav/arthinup.gif' alt='top' border='no'><\a></td>\n");
document.writeln ("</td></tr></table></div>");

/************* title ************/
document.writeln ("<div class='Title' align='right'><br>");
document.writeln ("<h2 align=left>");
document.writeln ("<a href=\"http://varenne.tc.columbia.edu\" TARGET=\"_top\">Hervé Varenne</a></h2>");
document.writeln ("<p class=\"comment\">Included here are some quotes from this work");
document.writeln ("(Note that all right aligned and italic text are my own comments on the quotes)");
document.writeln ("</p>");
document.writeln ("</div>\n");