function redirect(url) {
	document.location = url;
	}

function el(id) {
	element = document.getElementById(id);
	if (!element) return false;
	return element;
	}
	
function set_image(image) {
	image_file = image.src.replace("-tmb.jpg",".jpg");
	el("decoration").src = image_file;
	sName = image.getAttribute("name");
	sDesc = image.getAttribute("desc");
	el("decoration-desc").innerHTML = '<b>' + sName + '</b><br/>' + sDesc;
	scroll(0,0);
  }