7025x1 ) ( 8288 .)