// JavaScript Document

function chg_image(f_name){
	document.getElementById('immagine').src=f_name;
}
function swap_image(img_id, img_file){
document.images[img_id].src = img_file;
}