var from;
function fade_in(from) {	
	document.images[from].src = 'buttons/'+from+'2.gif';
}

function fade_out(from) {
	document.images[from].src = 'buttons/'+from+'.gif';
}