// JavaScript Document

function nav(nav_link)
{
	window.location.href = "/"+nav_link;
}