function helloWorld()
{
	alert("hello world: " + Date.toString());
}