CREATE TABLE table_name_67 (total_enrollment VARCHAR(255), institution_name VARCHAR(255))
What is Howard Payne University's total enrollment?
    
SQL: SELECT total_enrollment FROM table_name_67 WHERE institution_name = "howard payne university"