var head="<TITLE>IISLAB - Laboratory for Intelligent Information Systems</TITLE> <META http-equiv=Content-Type content=\"text/html; charset=iso-8859-1\">"
  document.writeln(head)

if((navigator.appName.indexOf("Explorer") >= 0))
  document.writeln('<LINK rel=stylesheet href="style-sheet-ie.css" type="text/css">');
if((navigator.appName.indexOf("Mozilla") >= 0) || (navigator.appName.indexOf("Netscape") >= 0))
  document.writeln('<LINK rel=stylesheet href="style-sheet-ns.css" type ="text/css">');