// If not currently doubled set it to zero
unset($_GET['DOUBLER_UID']);
unset($_POST['DOUBLER_UID']);
-unset($_SESSION['DOUBLER_UID']);
+set_session('DOUBLER_UID', "");
if (empty($DOUBLER_UID)) $DOUBLER_UID = "0";
// Check for doubles which we can pay out