25130 x 3 ) ( 77a3 .)