function writeHeader() {    // 
document.write('<table width="100%">');
document.write('<tr>');
document.write('<td align="left" >');
document.write('<br>');
document.write('<img align="right" src="/localimages/wis_logo_blue.gif" alt="Weizmann Institute of Science"></td>');
document.write('</tr><tr>');
document.write('<td><img align="left" src="images/dept_title.gif" alt="Dept of Materials & Interfaces"></td>');
document.write('</tr>');
document.write('</table>');
document.write('<p>');
}