// JavaScript Document
/*
1.1
---
2008-03-11	Aggiunto refresh_page
*/
function SetPageActive(new_PAG, refresh_page)
{
	refresh_page = refresh_page || true;
	oID(PAGEACTIVE).value=new_PAG;
	if (refresh_page)
	{
		Progress();	
		SetDo();
	}
}