// JavaScript Document

function change_background(div_id){
	document.getElementById(div_id).style.backgroundImage = "url(img/bg-das-over.jpg)";
}

function restore_background(div_id){
	document.getElementById(div_id).style.backgroundImage = "url(img/bg-das.jpg)";
}