var banner = new Array()
banner[0] = new Array()
	banner[0][0] = "files/header_index01.jpg"

banner[1] = new Array()
	banner[1][0] = "files/header_index02.jpg"

banner[2] = new Array()
	banner[2][0] = "files/header_index03.jpg"

banner[3] = new Array()
	banner[3][0] = "files/header_index04.jpg"

banner[4] = new Array()
	banner[4][0] = "files/header_index05.jpg"

banner[5] = new Array()
	banner[5][0] = "files/header_index06.jpg"

banner[6] = new Array()
	banner[6][0] = "files/header_index07.jpg"

banner[7] = new Array()
	banner[7][0] = "files/header_index08.jpg"
	banner[7][1] = "#"
	banner[7][2] = ""	
banner[8] = new Array()
	banner[8][0] = "files/header_index09.jpg"

banner[9] = new Array()
	banner[9][0] = "files/header_index10.jpg"

banner[10] = new Array()
	banner[10][0] = "files/header_index11.jpg"

////////////////////////////////////
n = Math.random()*10 //nr. of banners-1
nb = Math.round(n)
////////
document.write('<img border=0 src=' + banner[nb][0] + ' alt=' + banner[nb][2] + ' ></a>')