function button_over(element)
{
	var source = element.getAttribute('src');
	var source1 = source.replace(/.png/,".over.png");

	element.setAttribute("src", source1, 1);
}
	
function button_out(element)
{
	var source = element.getAttribute('src');
	var source1 = source.replace(/.over.png/,".png");
	var source2 = source1.replace(/.click.png/,".png");

	element.setAttribute("src", source2, 1);
}

function button_click(element)
{
	var source = element.getAttribute('src');
	var source1 = source.replace(/.over.png/,".click.png");

	element.setAttribute("src", source1, 1);
}

function button_release(element)
{
	var source = element.getAttribute('src');
	var source1 = source.replace(/.click.png/,".over.png");

	element.setAttribute("src", source1, 1);
}