window.onload = init;

function $(a)
{
	return document.getElementById(a);
}

function init()
{
	var image1 = new Image().src = "/images/button-left-pressed.png";
	var image2 = new Image().src = "/images/button-right-pressed.png";
	var image3 = new Image().src = "/images/downloadButton-hover.png";
}