If FRANCE is coded as 654321 and GERMANY as 9158437, how is YEMEN coded?