var ix=0
var int=self.setInterval("chimg()",6000);
function chimg()
{
++ix ;
ix %=10 ;
iy=ix+1;
	document.getElementById("bg_img").src="files/design/image"+ iy +".jpg";
}


function change_img(img)
	{
		int=window.clearInterval(int);
		document.getElementById("bg_img").src="images/indicator.gif";
		document.getElementById("bg_img").src="files/design/image"+img+".jpg";
	}