// переход на страницу <pagename>(page<number>).html
function navigate_to_page(page_num, plugin_id)
{
	// если в текущем имени файла есть скобки '( )', то отрезаем их
	pattern = /^(.*)\(.*\)\.html(.*)$/;
	if(!pattern.test(document.location.href))
	{
		pattern = /^(.*)\.html(.*)$/;
		pattern.test(document.location.href);
	}

	document.location.href = RegExp.$1 + '(page' + page_num + ').html';

	//document.global.action = RegExp.$1 + '(page' + page_num + ').html';
//	document.global.submit();
}

function navigate_to_page_by_post(page_num, plugin_id)
{
	get(plugin_id+'[navigator][page]').value = page_num;
	document.global.submit();
}