/*
 * Set Server Side Constants
 *
 * WARNING: Do not change any ID or Class Name values without first
 *          ensuring that those changes will also be reflected in 
 *          the CSS
 */
	
	
// Obtain image push list
var imagePushObject1 = document.getElementById("imagePush1");
var imagePushObject2 = document.getElementById("imagePush2");
var imagePushObject3 = document.getElementById("imagePush3");

if(imagePushObject1 != null || imagePushObject2 != null || imagePushObject3 != null) 
{
	var imagePushObjects = new Array();
	var images = null;
	
	var panels = document.getElementsByTagName("div");
	var index = 0;
	for(var i=0; i<panels.length; i++)
	{
		if(panels[i].className.indexOf("imagePushPanel") > -1) 
		{
			images = new Array();
			var imageDivs = panels[i].getElementsByTagName("div");
			var number = 0;
			for(var ii = 0; ii < imageDivs.length; ii++) {
				if(imageDivs[ii].id.indexOf("imagePush1") > -1 ) {
					images[number++] = imageDivs[ii];	
				}
				if(imageDivs[ii].id.indexOf("imagePush2") > -1 ) {
					images[number++] = imageDivs[ii];	
				}
				if(imageDivs[ii].id.indexOf("imagePush3") > -1 ) {
					images[number++] = imageDivs[ii];	
				}
			}

			imagePushObjects[index] = images;
			index++;
		}
	}
}