function page_loaded(div1)
{
	document.getElementById(div1).innerHTML=document.getElementById('buffer_'+div1).innerHTML;
	document.getElementById('buffer_'+div1).innerHTML='';
}