function Random_Banner(){
var img_name = new Array("banner01.jpg", "banner02.jpg",
"banner03.jpg","banner04.jpg");
var img;

var l = img_name.length;

var rnd_no = Math.round((l-1)*Math.random());

img = img_name[rnd_no];
return img;
}