function date_asctime($date)
    {
        static $pcre;
        if (!$pcre)
        {