7139x1 ) ( 4928)