6407 x 25 ] ( 4083 .)