var tmp = "<!-- tempname -->"
window.name = "principale";
var num_graphs = 0
var which_graph = 1

function MM_openBrWindow(theURL,winName,features) { //v2.0
  	win = window.open(theURL,winName,features);
  	win.focus()
}
function fakesubmit(vis_cols,anno,tipo_corso,aggrega,ord,univ,facolta,corso,regione) {
	var my_url = '/' + tipo_corso + vis_cols + anno + aggrega + ord + '/'
	if (univ != '%') my_url = my_url + 'U' + escape(univ) + '/'
	if (facolta != '%') my_url = my_url + 'F' + escape(facolta) + '/'
	if (corso != '') my_url = my_url + 'C' + escape(corso) + '/'
	if (regione != '%') my_url = my_url + 'R' + escape(regione) + '/'
	document.location = my_url+'main.html'
}
function seetip(s) {
	var choice = document.getElementById('tip_'+s+'2');
	if (choice.className == 't'+s+'2v')
		choice.className = 't'+s+'2'
	else
		choice.className = 't'+s+'2v'
	choice.style.zIndex  = 100
}
function seelink(s) {
	var choice = document.getElementById(s); 
	choice.style.zIndex  = 110
}
function hidelink(s) {
	var choice = document.getElementById(s); 
	choice.style.zIndex  = 1
	document.getElementById('tabella').style.zIndex  = 100
}
function setcols(my_obj,newclass) {
	var s = document.getElementById(my_obj);
	if (s.className == 'nonsel')
		s.className = newclass
	else s.className = 'nonsel'
	}
function allchecked()	{
	document.getElementById('tipo1').className = 'tcorsichk'
	document.getElementById('tipo2').className = 'tcorsichk'
	document.getElementById('tipo3').className = 'tcorsichk'
	document.getElementById('tipo4').className = 'tcorsichk'
	document.getElementById('tipo5').className = 'tcorsichk'
	document.getElementById('tipo6').className = 'tcorsichk'
}
function chiudi(s) {
	if (s == 'grafico' || s == 'grafico2') {
		var choice = document.getElementById(s); 
		choice.className = 'grafico'
		document.getElementById('tabella').style.pixelLeft = 48
		document.getElementById('grafici').className = 'nosee'
		document.getElementById('grafici').src = ''
		document.getElementById('grafici2').className = 'nosee'
		document.getElementById('grafici2').src = ''
		which_graph = 1
		num_graphs = 0
	}
	else {
		var choice = document.getElementById('tip_'+s+'2'); 
		choice.className = 't'+s+'2'
	}
	document.getElementById('tabella').style.zIndex  = 100
	scrollTo(1,1)
}