converted numbers in mif file ...I think