//<![CDATA[
// -----------------------------------------------
// Impostazioni utili per gestire tutti i browser:
// -----------------------------------------------


var layerRef = String("");
var styleRef = String("");
var parentesiID_1 = String("");
var parentesiID_2 = String("");

if (document.getElementById)
{
	layerRef = ".getElementById";
	styleRef = ".style";
	parentesiID_1 = "(";
	parentesiID_2 = ")";
}
else if (navigator.appName == "Netscape")
{
	layerRef = ".layers";
	styleRef = "";
	parentesiID_1 = "[";
	parentesiID_2 = "]";
}
else
{
	layerRef = ".all";
	styleRef = ".style";
	parentesiID_1 = "[";
	parentesiID_2 = "]";
}
//]]>