
  <!--
  var okno;
  function seznam ( url )
  {
  okno=window.open(url,"seznam");
  };
  // -->