6 1 ; 9639 , 517;