5175x1 ) ( 6887 .)