<html>
<body>
echo timezone_name_from_abbr("EST") . "<br>";
echo timezone_name_from_abbr("",7200,0);
</body>
<!-- Mirrored from www.w3schools.com/php/phptryit.asp?filename=tryphp_func_tz_name_from_abbr by HTTrack Website Copier/3.x [XR&CO'2014], Mon, 27 Jan 2020 02:50:59 GMT -->
</html>