<?
//dd = "Location:https://".leshome.$_SERVER['SERVER_NAME'."/mail"]
//Header("Location:https://".leshome.$_SERVER['SERVER_NAME']."/mail")
//echo "Greetings!";
 Header("Location:https://"."lapsh.ru:83")
?>