// JavaScript Document

function change(what) {
	document.getElementById(what).src = '../images/'+what+'a.gif';
}

function change_back(what) {
	document.getElementById(what).src = '../images/'+what+'.gif';
}

function show_progress() {
	Element.show('progress');
}