Hello World in JavaScript for GreaseMonkey