5 + 7 + 13 = ?