function getImgfile()
{
	var imglist = new Array(
	  "common_title_banner01.jpg",
	  "common_title_banner02.jpg",
	  "common_title_banner03.jpg",
	  "common_title_banner04.jpg",
	  "common_title_banner05.jpg",
  	  "common_title_banner06.jpg" );
	var selectnum = Math.floor((Math.random() * 100)) % imglist.length;
	var output = "images/" + imglist[selectnum];
	document.banner.src = output;
}