class Main
{
  public static Void main()
  {
    echo (7.125.toStr.padl(9, '0'))
  }
}