function buttonPressed(buttonName)
{
	document.getElementById(buttonName).setAttribute("style",
		"font-weight: bold;"
		+"text-decoration: none;"
		+"color: #000000;"
		+"border: 3px solid #000000;"
		+"background-color: #444;"
	);

}
function rollImg(img_name, img_src)
{
   document[img_name].src = img_src;
}

function rollText(text_id,text)
{
	document.getElementById(text_id).innerHTML = text;
}

var myimages = new Array();
function preload()
{
	for (x=0; x<preload.arguments.length; x++)
	{
		myimages[x] = new Image();
		myimages[x].src = preload.arguments[x];
}
}