function set_text(div_name)
{
	document.getElementById('main_text').innerHTML=document.getElementById(div_name).innerHTML;
}