test HelloWorld (convert from JAVA by http://javatophp.com)