/* /nodynamiccopyright/ */ public class HelloWorld {  // hard coded linenumbers - DO NOT CHANGE
    public static void main(String args[]) {
        System.out.println("Hello, world!");
    }
}