17 + 7 + 15 + 20 = ?