This will replace every instance of "6012" in the file with "6000". Only the first instance should be replaced.