25130x 3 ) ( 7733 .)