DISPLAYTIME{"format"} -- formatted display time