17 + 15 + 16 + 17 = ?