675
West Haven officials said Thursday they paid the money to anonymous attackers through the digital currency bitcoin to unlock 23 servers and restore access to city data .
 Thursday: time; they: victim; West Haven officials: victim; attackers: attacker; the digital currency bitcoin: payment method; servers: victim
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:
 Thursday: time; they: victim; West Haven officials: victim; attackers: attacker; the digital currency bitcoin: payment method; servers: victim