function getLocation() {
	return window.location.toString();
}

function set_element_src(id, src) {
	e = document.getElementById(id);
	e.src = src;
}