/* Inizio tools_75.js originale */


function findLayer(layerID){
	if(document.getElementById){
		return document.getElementById(layerID);
	}else if(document.all){
		return document.all[layerID];
	}else if(document.layers){
		return document.layers[layerID];
	}
}


/* Fine tools_75.js originale */