using System;
public class Program
{
public static void Main()
int numero;
numero= Convert.ToInt32(Console.ReadLine());
while(numero!=1234)
numero=Convert.ToInt32(Console.ReadLine());
}