- time: documentation ( source)
- session_name: documentation ( source)
- file: documentation ( source)
- session_start: documentation ( source)
- session_id: documentation ( source)
<?php
session_name('a'.time().'a');
session_start();
for($f=file(__FILE__),$i=0;$i<10;$i++) echo $f[$i];
if (session_id()!=='1337') die();
$_SESSION['DobuleSynchronization']=time();