var isIE = -1 != navigator.userAgent.indexOf('MSIE');

// define all contents and behaviors to rotated into and out of display by an instance of the FaderDivManager 
var contents = new Array();
contents[0] = '<div><img src="images/header/massage_therapy_sheffield.jpg" alt="Massage Therapy Sheffield" /></div>';
contents[1] = '<div><img src="images/header/relaxing_swedish_massage.jpg" alt="Massage Therapy Sheffield" /></div>';
contents[2] = '<div><img src="images/header/invigorating_deep_tissue_massage.jpg" alt="Massage Therapy Sheffield" /></div>';
contents[3] = '<div><img src="images/header/holistic_therapeutic_massage.jpg" alt="Massage Therapy Sheffield" /></div>';

// define the configuration settings for the fader
var config = new Array();
	config['color'] = '#CCC';
	config['backgroundColor'] = '#444';
	var height = ((isIE)?178:183) + 'px';
	config['height'] = '183px'; //'height;
	config['width'] = '950px';
	config['position'] = 'relative';
	var top = ((isIE)?25:25) + 'px';
	config['top'] = 0; //top;
	config['left'] = 0;
	config['border'] = '1px solid #B89B8D';
var fadeMgr;

// declare the startup operations that need to be performed once the body is loaded
function init() {
	fadeMgr = new FaderDivManager('header', contents, config, [[2000, 1500]], false, false, false, 'fadeMgr');
	fadeMgr.setCurrentContent(fadeMgr.getContentsArrayElement(0));
	fadeMgr.setAutoFadeRate(4500);
	var top = ((isIE)?10:8) + 'px';
	fadeMgr.configure();
	fadeMgr.setStartAutoTimeout(setTimeout('fadeMgr.startAutoFade()', fadeMgr.getAutoFadeRate()));
	document.getElementById('header').style.borderBottom = '0';
	document.getElementById('header').style.overflow = 'hidden';
}

// set the initialization operations to run onload
window.onload = init;