Question: who is the the mixed doubles with year being 1972
SQL: SELECT mixed_doubles FROM table_13857700_1 WHERE year = 1972