819
A U . S . military official in Seoul , speaking on condition of anonymity , said Tuesday North Korea is believed to have exported US $ 580 million worth of missiles to Iran , Pakistan , Libya , Syria , Egypt , Yemen and the United Arab Emirates in 2001 .
 missiles: artifact; North Korea: seller; Iran: buyer; Pakistan: buyer; Libya: buyer; Syria: buyer; Egypt: buyer; Yemen: buyer; United Arab Emirates: buyer
Given event type and trigger, please tell me the arguments of all the listed option. Output format is "name1: role1; name2: role2". 
Event type: transfer ownership 
  Option: artifact, seller, place, beneficiary, buyer 
Text: {0} 
Answer:
 missiles: artifact; North Korea: seller; Iran: buyer; Pakistan: buyer; Libya: buyer; Syria: buyer; Egypt: buyer; Yemen: buyer; United Arab Emirates: buyer