if (!IsSet($_SESSION['val'])) $_SESSION['val']=rand(1, 3);