// JavaScript Document
var image = new Array(); 
image[0] = 'images/banner_01.jpg' ; 
image[1] = 'images/banner_05.jpg' ; 
image[2] = 'images/banner_03.jpg' ; 
image[3] = 'images/banner_04.jpg' ; 
image[4] = 'images/banner_05.jpg' ; 

function load_banner()
{
	var index = Math.floor(Math.random() * image.length);
	document.banner_area.src = image[index];
}