The cross-platform thing is a bold claim. How about a more complete example than that 5 line hello world program to show us how that would work?
http://www.joshuagranick.com/blog/2012/04/12/html5-pirate-pi...
It's a Bejeweled clone that has been published in the Amazon Appstore, Google Play, BlackBerry App World, the webOS App Catalog and also compiles for iOS, Flash, Windows, Mac, Linux and HTML5
You can compile this example to both Flash and JS online.
If you install Haxe and NME (http://haxenme.org), you can also compile it to iOS, Android, WebOS, BlackBerry, as well as desktop Mac, Windows and Linux binaries.
And these are only the possibilites offered by NME, which is basically a Haxe-based Flash API implementation.