<?php
  $url = $_SERVER['QUERY_STRING'];
  // echo $url;
  header("Location: $url"); /* Redirect browser */
  exit;                 /* Make sure that code below does 
                         not get executed when we redirect. */
?>