13226x3 ) ( 7239 .)