// JavaScript Document

function fun_download_catalogo(LINGUA,FILE,CAT)
{
	var lingua = LINGUA.toLowerCase()
var cat = CAT.toLowerCase()
percorso = "../pubblicazione/catalogo_" + lingua +  "/" + FILE
	window.open (percorso,'down','width=600,height=500,status=no,menubar=yes,resizable=yes')
}