( 12 4 6)