( 13 6 1)