strftime seems to be much shorter