function setImage(url){
	//alert(document.getElementById("the_image").src);
	//if(document.getElementById("the_image") != ''){
	document.getElementById("the_image").src = url;
	//}
}



function setRandomImage(){
	var len = img_urls.length;
	var ran = Math.floor(Math.random() * len);
	//alert("len: "+ran);
	setImage(img_urls[ran]);
}