get_element = document.all ?
	function (s_id) { return document.all[s_id] } :
	function (s_id) { return document.getElementById(s_id) };


function show(x) {
	get_element(x).style.display = '';
}

function hide(x) {
	get_element(x).style.display = 'none';
}

function navigate(url) {
	window.location.href=url;	
}