// JavaScript Document
function cambiaImg(image,zoom)
// zoom = 10 o -10
{
	var id = 0;
	//sorgente=document.cartina.src;
	nome=image.src;
	pos1=nome.lastIndexOf('.gif');
	pos2=nome.lastIndexOf('mappa');
	numero=nome.slice(pos2+5,pos1);
	num=Number(numero);
	//numero = Number(nome);
	//document.writeln(sorgente);
	//document.writeln(numero+' '+pos1+' '+pos2);
	id= num + zoom;
	if(id > 101)
	{
		id = 100;
	}
	if(id < 69)
	{
		id = 70;
	}
	image.src = 'img/mappa' + id + '.gif';
}
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}