<?php session_start(); echo "session id: " . session_id(); session_destroy(); echo "\ndestroyed session id: " . session_id();
You have javascript disabled. You will not be able to edit any code.