A simple gable roof is to cover a span of 32 feet. If it is to have a 7:12 pitch, how tall will the ridgeline be above the house?​