1
$
dolphinfan(1)
47.40
2
$
dolphinfan(2)
33.80
3
abadabadoo(1)
31.80
4
abadabadoo(2)
21.50
