#!/usr/bin/env python
# Copyright 2016 the V8 project authors. All rights reserved.
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.
"""Corrects objdump output. The logic is from sancov.py, see comments there."""
# for py2/py3 compatibility
from __future__ import print_function
import sys
for line in sys.stdin:
print('0x%x' % (int(line.strip(), 16) + 4))
