// JavaScript Document
		if (pan==1){
		document.write ("<img src=doc1.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=index_to.html target=_top><img src=pags1.gif width=32 height=32 border=0></a>");}
		if (pan==2){
		document.write ("<img src=doc2.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_pan2.html target=_top><img src=pags2.gif width=32 height=32 border=0></a>");}
		if (pan==3){
		document.write ("<img src=doc3.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_pan3.html target=_top><img src=pags3.gif width=32 height=32 border=0></a>");}