function ChangeTo(image)
{
	var el=event.srcElement;
	if (el.tagName=="INPUT"&&el.type=="button")
	{
		event.srcElement.style.backgroundImage="url"+"('"+image+"')";
	}
}

function JumpTo(url)
{
	window.location=url;
}

function HelloWorld()
{
	alert("Hello World from a js function."); 
}