<?php
   session_start();
   $name =$_SESSION['name'];
   session_destroy();
   header("location:goodbye.php?name=$name");
   ?>