// JavaScript Document
function $(id) {
	return document.getElementById(id);
}

function load_() {	
}

function show_navigation() {
	$('nav_bar').style.display = "block";
}

function hide_navigation() {
	$('nav_bar').style.display = "none";
}