3059
The Cockerell Hill Police Department in south Dallas decided after speaking to the FBI not to pay the near $ 4000 ransom after discovering the malware in mid-December .
 south Dallas: place; near $ 4000: price; The Cockerell Hill Police Department: victim; mid-December: time; the malware: tool
Given event type and trigger, please tell me the arguments of all the listed option. Output format is "name1: role1; name2: role2". 
Event type: ransom 
  Option: victim, attacker, payment method, attack pattern, damage amount, tool, time, price, place 
Text: {0} 
Answer:
 south Dallas: place; near $ 4000: price; The Cockerell Hill Police Department: victim; mid-December: time; the malware: tool