iso8601wknum     1057 strftime.c     			weeknum = iso8601wknum(& dec31ly);
iso8601wknum     1093 strftime.c             return iso8601wknum(&tm);