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

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