function random_banner()
{
pic1=new Array();
//---------------------------------
pic1[0]='images/banners/1.jpg';
pic1[1]='images/banners/14.jpg';
pic1[2]='images/banners/12.jpg';
pic1[3]='images/banners/10.jpg';
pic1[4]='images/banners/1.jpg';
pic1[5]='images/banners/14.jpg';
pic1[6]='images/banners/12.jpg';

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