function load_page(page_url)
{
	window.location.assign(page_url);
}