#!/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."""

import sys;

for line in sys.stdin:
  print '0x%x' % (int(line.strip(), 16) + 4)