Database: human_resources
Question: Please list the social security numbers of the male employees with a salary of over $70,000 a year.
SQL: SELECT ssn FROM employee WHERE gender = 'M' AND CAST(REPLACE(SUBSTR(salary, 4), ',', '') AS REAL) > 70000