Run »
<!DOCTYPE html> <html> <body> <?php echo timezone_name_from_abbr("EST") . "<br>"; echo timezone_name_from_abbr("",7200,0); ?> </body> </html>