function random_imglink(){
	var myimages=new Array()
	myimages[1]="../imagens/foto_capa_01.jpg"
	myimages[2]="../imagens/foto_capa_02.jpg"
	myimages[3]="../imagens/foto_capa_03.jpg"
	myimages[4]="../imagens/foto_capa_04.jpg"
	myimages[5]="../imagens/foto_capa_05.jpg"
	myimages[6]="../imagens/foto_capa_06.jpg"
	myimages[7]="../imagens/foto_capa_07.jpg"
	myimages[8]="../imagens/foto_capa_08.jpg"
	myimages[9]="../imagens/foto_capa_09.jpg"
	myimages[10]="../imagens/foto_capa_10.jpg"
	myimages[11]="../imagens/foto_capa_11.jpg"

	var imagelinks=new Array()
	imagelinks[1]="institucional/imagens.html"
	imagelinks[2]="institucional/imagens.html"
	imagelinks[3]="institucional/imagens.html"
	imagelinks[4]="institucional/imagens.html"
	imagelinks[5]="institucional/imagens.html"
	imagelinks[6]="institucional/imagens.html"
	imagelinks[7]="institucional/imagens.html"
	imagelinks[8]="institucional/imagens.html"
	imagelinks[9]="institucional/imagens.html"
	imagelinks[10]="institucional/imagens.html"
	imagelinks[11]="institucional/imagens.html"
	var ry=Math.floor(Math.random()*myimages.length)
	if (ry==0)
		ry=1
	document.write('<a href='+'"'+imagelinks[ry]+'"'+'><img src="'+myimages[ry]+'" border=0></a>')
}