2484 ) ( 12712 .)