/* PageHeader.js         We use client-side includes for this.   */
/* Server-side includes are more for including dynamic content.  */
/* This javascript creates the header display on each page.      */

/* Note: this script opens a div for the main body but doesn't close it. */

var cText = ''

/*cText += '<div><img class="feetprints" width="10%">'*/
cText += '<div id="page">'
cText += '<div id="header"><div id="cuLogo"'
cText += '<a class="nb" href="http://www.cam.ac.uk"><img id="cam_logo" src="cambridge.gif" '
cText += 'alt="University of Cambridge" width="350" height="46" border="0" align="top" ></a></div><!--cuLogo-->'
cText += '<div id="bannername"><p class="toptitle">Jenny Clack</p></div><!--bannername-->'
cText += '<a href="JennyByAngela.html"><img class="bannerpic" src="JAC FRS_t.jpg" '
cText += 'alt="Jenny with her FRS certificate" border="0" ></a>'
cText += '</div><!--header-->'
cText += '<div id="header_lines"></div>'

document.write(cText)

/************************ end of header file **************************/