function random_banner()
{
pic1=new Array();
//---------------------------------
pic1[0]='images/bg1.jpg';
pic1[1]='images/bg2.jpg';
pic1[2]='images/bg3.jpg';
pic1[3]='images/bg1.jpg';
pic1[4]='images/bg2.jpg';
pic1[5]='images/bg3.jpg';

index=Math.floor(Math.random() * (pic1.length-1));
document.banner.src=pic1[index];
}