instruction: provide the number of patients whose primary disease is coronary artery disease\coronary artery bypass graft with mvr; ? maze and procedure short title is ven cath renal dialysis?
response: SELECT COUNT(DISTINCT demographic.subject_id) FROM demographic INNER JOIN procedures ON demographic.hadm_id = procedures.hadm_id WHERE demographic.diagnosis = "CORONARY ARTERY DISEASE\CORONARY ARTERY BYPASS GRAFT WITH MVR; ? MAZE" AND procedures.short_title = "Ven cath renal dialysis"