<!-- hide script from old browsers
document.write('<a href="candela.html">F&eacute;lix Candela</a> ');
document.write('<a href="works.html">Major Works</a> ');
document.write('<a href="professors.html">Professors</a> ');
document.write('<a href="lab.html">Model Building</a>');
// end hiding script from old browsers -->


