10 , 713x10 .)