<?php

if($_SERVER["SERVER_PORT"] != 80){
	$domain = "http://" . $_SERVER["SERVER_NAME"] . ':' . $_SERVER["SERVER_PORT"] . "/";
}
else{
	$domain = "http://" . $_SERVER["SERVER_NAME"];
}

?>