function header()
{
  document.writeln("");
}