wow, PHP 5.6 is EVEN slower...