<?php
 $hostname = $_SERVER['HTTP_HOST'];
 $path = dirname($_SERVER['PHP_SELF']);
 header('Location: http://'.$hostname.($path == '/' ? '' : $path).'/pubs.php');
?>