function g(id) {
		return document.getElementById(id);
	}
	
	function goto(url) {
		window.location = url;
	}