function getImgFile(fileNum){
	    var imgFileName=new Array(10)
			imgFileName[0] = "someName1.jpg";
			imgFileName[1] = "someName2.jpg";
			imgFileName[2] = "someName3.jpg";
			imgFileName[3] = "someName4.jpg";
			imgFileName[4] = "someName5.jpg";
			imgFileName[5] = "someName6.jpg";
			imgFileName[6] = "someName7.jpg";
			imgFileName[7] = "someName8.jpg";
			imgFileName[8] = "someName9.jpg";
			imgFileName[9] = "someName10.jpg";
		
		return imgFileName[fileNum];
}
function getBigImg(){
	var ranNum = Math.round(Math.random()*10);
	var img =  document.getElementById("bigImg");
	return getImgFile(ranNum);
}