  ?><!DOCTYPE html>
 <html>
  <head>
    <meta http-equiv="refresh" content="0; url=<?= $url ?>" />
  </head>
 </html><?php
