function PageLoad(id, url)
{
	new Ajax.Updater(id, url, { method: 'get' });
}

function DocumentSearch(flag)
{
	url = 'Default.aspx?page=document_ajax&do=browse&flag='+flag+'&key='+encodeURI($('key_'+flag).value) + '&rand='+Math.random();
	var id = 'document_'+flag;
	new Ajax.Updater(id, url, { method: 'get'});
}