<?php

$header = $_SERVER['SERVER_NAME'];
$end_p=strlen($header);
$header=substr($header,5,$end_p);


header("Location: http://$header:8080");


?>