7439x1 ) ( 4305 .)