if($_SESSION['player'] <= 0) {
header("Location: global.php?page=game1over");
$_SESSION['player'] = 10;
}
if($_SESSION['player'] <= 0) {
header("Location: global.php?page=game1over");
$_SESSION['player'] = 10;
}
$_SESSION['player2'] = $_SESSION['player'];
header("Location: global.php?page=game1over&player2=".$_SESSION['player']."");
function redirect($url){
echo '<script language="JavaScript">location.href="'.$url.'"</script>';
}