using System;
using System.IO;

public class Test {
	public static int Main(string[] args)
	{
		Console.WriteLine ("Hello from bug-17537-helper!");
		return 0;
	}
}