/*<?php
	//*/publicclassPhpJava { publicstaticvoidmain(String[] args) { System.out.printf("/*%s",
	//\u000A\u002F\u002A
	classPhpJava {
	function main() {
	echo(//\u000A\u002A\u002F
	"Hello World!");
	}}
	//\u000A\u002F\u002A
	PhpJava::main();
	//\u000A\u002A\u002F

	/*<?php
	//*/public class PhpJava { public static void main(String[] args) { System.out.printf("/*%s",
	//\u000A\u002F\u002A
	classPhpJava {
	functionmain() {
	echo(//\u000A\u002A\u002F
	"Hello World!");
	}}
	//\u000A\u002F\u002A
	PhpJava::main();
	//\u000A\u002A\u002F