Update FIPS codes 20131203