5256x1 ) ( 7042 .)