12730X2 ) ( 7 , 254 .)