( 16 5 7)