function image() { }; 
	 function RandomImage(){
		 image = new image(); 
		 number = 0;  
		 // imageArray 
		 image[number++] = "images/1000.jpg" 
		 image[number++] = "images/1001.jpg"
		 image[number++] = "images/1002.jpg" 
		 image[number++] = "images/1003.jpg" 
		 image[number++] = "images/1004.jpg" 
		 image[number++] = "images/1005.jpg"  
		 image[number++] = "images/1006.jpg"
		 image[number++] = "images/1007.jpg"
		 image[number++] = "images/1008.jpg"
		 image[number++] = "images/1009.jpg"
		 
		 increment = Math.floor(Math.random() * number);  
		 document.getElementById("randomimg").src = image[increment];
		 //document.getElementById("randomimg").style.zIndex = -10;
		 //document.write(image[increment]);
	 }