function changeImg(img_id){
	var imgsrc = img_id;
	document.getElementById("mainimage").style.backgroundImage = "url("+img_id+")";
}

function defImg(){
	document.getElementById("mainimage").style.backgroundImage = "url(images/image_top.jpg)";
}