class HelloText
{
  public static Void main ()
  {
    echo ("Hello world!")
  }
}