.OUTPUT FILE: TST002 [Enter the name of the output file.]
.OLD AND NEW VALUES: 12, 100 [Sets all pixels having old value 12 to the new value 100.]