<?
  echo
"Byli jste odhlášeni";
?>