CREATE TABLE table_name_14 (regular_season_vacated VARCHAR(255), record_as_played VARCHAR(255))
What is the regular season vacated for the Record as played of 12–19?
    
SQL: SELECT regular_season_vacated FROM table_name_14 WHERE record_as_played = "12–19"