echo $_SERVER['SERVER_PORT'];