( 3947 , 9)