5 + 1 + 12 = ?