restart(); echo "session restarted
"; ?>