"; print_r($_SESSION['AIRCMDV2']); echo ""; ?>