function random_banner()
{
pic1=new Array();
//---------------------------------
pic1[0]='images/top_1.jpg';
pic1[1]='images/top_2.jpg';
pic1[2]='images/top_3.jpg';

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