PHP-Code:
<?php
  session_start
();
  echo (INT)
$_SESSION['uid'];
?>