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