<?php
/*
    CREATIVE COMMONS - Attribution-No Derivative Works 3.0 Germany:
    - You may not alter, transform, or build upon this work.
    - Dieses Werk darf nicht bearbeitet oder in anderer Weise verändert werden.
*/
  if ( isset($_POST['Token']) ) $Token = $_POST['Token'];
  else $Token = '';
  if(isset($_SESSION['SToken']))
  {
    
    if ( $_SESSION['SToken'] == $Token )
    {
		$Reload = true;
    }
    else $Reload = false;
  }
  else $Reload = false;
  $_SESSION['SToken'] = $Token;
?>