Patch to HP-80 ROM, which solves DATE function bug. Patch provided by Thomas Klemm.