function get_page(pathname)
{
	pos = pathname.lastIndexOf("/");
	if (pos > 0) page = pathname.substring(1,pos);
	else if (pos == 0) page = "main";
	else page = "unknown";
	return page;
}
page = get_page(location.pathname);