function d(IntlDateFormatter $df)
{
    global $ts;
    echo $df->format($ts), "\n";
    var_dump($df->getTimeZoneID(), $df->getTimeZone()->getID());
    echo "\n";
}