on = new Image();
on.src = '../graphics/button_on.jpg';

off = new Image();
off.src = '../graphics/button_off.jpg';

function change_on(a) {
	window.document.images[a].src=on.src;
}

function change_off(a) {
	window.document.images[a].src=off.src;
}