function FillHeader() {
   var text = new String();
   text  = "<p align='center'><table border=0 width='80%'><tr>";
   text += "<td width='25%' align='center'><a href='GeN2.html'>GeN2</a></td>";
   text += "<td width='25%' align='center'><a href='GeN2 Comfort.html'>GeN2 Comfort</a></td>";
   text += "<td width='25%' align='center'></a></td>";
   text += "<td width='25%' align='center'></a></td>";
   text += "</tr></table></p>";
   document.getElementById('Header').innerHTML = text;
}