001200 does not exist.