<?php
session_start();
if(!isset($_SESSION['basket']))$basket=$_SESSION['basket']=array();
else$basket=$_SESSION['basket'];
$parentdatei=array_pop(explode('/',$_SERVER['PHP_SELF']));
if(($parentdatei != "basket.php") AND ($parentdatei != "bestellformular.php"))
$_SESSION['document']=$_SERVER['PHP_SELF'];
?>