( 12 5 6)