// JavaScript Document
var n=0,m=0;
var AutoPlayObj = null;
AutoPlay();
function AutoPlay(){
	 clearInterval(AutoPlayObj); 
	 m=n%5;
	 var s="banner_"+m+".gif";
	 getID("banner_js").style.backgroundImage="url(image/"+s+")";
	 n++;
	 AutoPlayObj = setInterval('AutoPlay()' ,3000);
}

function getID(id){
    return window.document.getElementById?window.document.getElementById(id):null;
}