<?php
  session_start();
  unset($_SESSION['ok']);
  header('Location:login.php');
?>