20 + 7 + 17 + 15 = ?