function loadImage(img)
{
    if (document.images)
        document.main_image.src = img;
}

//Begin Image rotation section
//User defined variables - change these variables to alter the behaviour of the script
var ImageFolder = "prop_01"; //Folder name containing the images
var ImageFileNames = new Array('dining1.jpg','kitchen1.jpg','great.jpg','back1.jpg','0013.jpg','2a.jpg','3a.jpg','front2.jpg','4a.jpg','5a.jpg','6a.jpg','master.jpg'); 
//List of images to use
var DisplayInterval = 3; //Number of seconds to wait before the next image is displayed
var TargetFrame = ""; //Name of the frame to open the hyperlink into

//Internal variables (do not change these unless you know what you are doing)
var IsValidBrowser = false;
var BannerAdCode = 0;
var BannerAdImages = new Array(NumberOfImages);
var DisplayInterval = DisplayInterval * 1000;
var NumberOfImages = ImageFileNames.length;

//Add a trailing forward slash to the ImageFolder variable if it does not already have one
if (ImageFolder.substr(ImageFolder.length - 1, ImageFolder.length) != "/" && ImageFolder != "")
{ ImageFolder += "/";}

if (TargetFrame == '')
{
var FramesObject = null;
}
else
{
var FramesObject = eval('parent.' + TargetFrame);
}
function InitialiseImageRotator()
{
//Determine the browser name and version
//The script will only work on Netscape 3+ and Internet Explorer 4+
var BrowserType = navigator.appName;
var BrowserVersion = parseInt(navigator.appVersion);
if (BrowserType == "Netscape" && (BrowserVersion >= 3))
{
IsValidBrowser = true;
}
if (BrowserType == "Microsoft Internet Explorer" && (BrowserVersion >= 4))
{
IsValidBrowser = true;
}
	if (IsValidBrowser)
	{
	TimerObject = setTimeout("ChangeImage()", DisplayInterval);
   BannerAdCode = 0;
		for (i = 0; i < NumberOfImages; i++)
		{
			BannerAdImages[i] = new Image();
			BannerAdImages[i].src = ' ' + ImageFolder + ImageFileNames[i];
		}
	}
}
//Function to change the src of the Banner Ad image
function ChangeImage()
{
	if (IsValidBrowser)
	{
	BannerAdCode = BannerAdCode + 1;

		if (BannerAdCode == NumberOfImages)
		{
		BannerAdCode = 0;
		}
	window.document.main_image.src = BannerAdImages[BannerAdCode].src;
	TimerObject = setTimeout("ChangeImage()", DisplayInterval);
	}
}//End rotating image script