* ( 19 , 997 .)