//var undefined;    // Pro zpetnou kompatibilitu kdyby JS nepodporoval undefined


function DrawHeader(MoreInfo)
// Nepovinny parametr udava nadpis stranky
// Neni-li uveden bere se text ze znacky title dokumentu
{
  with (document)
  {
    if(0)
      write('<b>Hlavièka z JavScriptu: ', MoreInfo, '</b>' );
    else
    {
      // Default informace pokud je parametr nezadany
      if(MoreInfo==undefined) MoreInfo=document.title;
      // Vlozeni HTML kodu
      write('<div class="Header"> ');
      write('<a href="index.html"><img border=0 width=273 height=57 src="MLAB_Logo.gif" alt="MLAB Logo"></a>');
      write('<span class="HeaderText">&nbsp;'+MoreInfo+'</span>');
      write('</div> ');
    }
  }
}


function DrawMenu(MoreInfo)
// Nepovinny parametr udava nazev menu
// Neni-li uveden dava se text Menu
{
  with(document)
  {
    if (0)
    {
      write('<b>Menu z JavaScriptu: ', MoreInfo, '</b>');
    }
    else
    {
      // Default text
      if(MoreInfo==undefined) MoreInfo="Menu";
      // Vlastni menu
      write('<div class="Menu">');
      write('  <div class="MenuText">');
      write(     MoreInfo);
      write('  </div>');
      write('  <ul>');
      write('    <li> <a href="index.html">MLAB Home</a> </li>');
      write('    <li> <a href="AboutAuthors.html">Autoøi</a> </li>');
      write('    <li> <a href="AboutWeb.html">O WEBu</a> </li>');
      write('    <li> <a href="ToDoList.html">To do list</a> </li>');
      write('  </ul>');
      write('</div> ');
    }
  }
}


function DrawFooter(MoreInfo)
// Nepovinny parametr pro text do paticky
{
  with (document)
  {
    if (0)
    {
      write('<b>Patièka z JavaScriptu: ', MoreInfo, '</b>');
    }
    else
    {
      // Default text je prazdny
      if(MoreInfo==undefined) MoreInfo="";
      // Vlozeni HTML kodu
      write('<div class="Footer">');
      write('<a href=#>Nahoru</a> &nbsp;&nbsp;&nbsp;')
      write('<a href="Copyright.html">Copyright</a> &copy; ');
      write('<a href="AboutAuthors.html">Autoøi MLAB</a/> &nbsp;&nbsp;&nbsp;');
      write('['+document.lastModified+'] &nbsp;&nbsp;&nbsp;');
      write(MoreInfo);
      write('</div>');
    }
  }
}