function newLocation(url) {
	window.location = url;
}


// dom shortcut

function getId(x) {
	if (typeof x == "string") {
		return document.getElementById(x);
	}
	return x;
}

function hide(id) {
	div = document.getElementById(id);
	div.style.display = 'none';
	
}