Converts dates from normal dates to the format used by NAV RecordIDs, for fun.