	<!-- perchè i bottoni cambino immagine al passare del mouse -->
<!--  	

image1= new Image();
image1.src="images/bottonestampa.gif";
image2= new Image();
image2.src="images/bottonestampa2.gif";

//  -->