// Java Document
function random_default(imgpath){
	var myimagess = new Array()
		myimagess[0]="default_banner1.jpg"
		myimagess[1]="default_banner2.jpg"
		myimagess[2]="default_banner3.jpg"
		myimagess[3]="default_banner4.jpg"
		myimagess[4]="default_banner5.jpg"
		myimagess[5]="default_banner6.jpg"
		myimagess[6]="default_banner7.jpg"
		myimagess[7]="default_banner8.jpg"
		
	var rys = Math.floor(Math.random() * myimagess.length)
	document.getElementById('BANNER').src= imgpath + myimagess[rys];	
}
