function zoomTxt(m,img1,img2) {  
	var x1=document.getElementById('a1');
	var x2=document.getElementById('a2');
	fontSize = m;  
	document.body.style.fontSize = fontSize + "px";  
	x1.src=img1;
	x2.src=img2;
}  
function t(x){
}