9 , 31 , 10 , 5«;