( 12 6 3)