// JavaScript Document
		if (dint==1){
		document.write ("<img src=doc1.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_dint.html target=_top><img src=pags1.gif width=32 height=32 border=0></a>");}
		if (dint==4){
		document.write ("<img src=doc2.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_dint1.html target=_top><img src=pags2.gif width=32 height=32 border=0></a>");}
		if (dint==2){
		document.write ("<img src=doc3.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_dint2.html target=_top><img src=pags3.gif width=32 height=32 border=0></a>");}
		if (dint==3){
		document.write ("<img src=doc4.gif width=32 height=32 border=0>");}
		else {
		document.write ("<a href=torino_dint3.html target=_top><img src=pags4.gif width=32 height=32 border=0></a>");}