using System;

public class Program

{

    public static void Main()

    {

        Console.WriteLine((9007199254740891+3.0).ToString("0"));

    }

}