function setAreaName()
{
	var area_title_obj=document.getElementById('area_title');
	area_title_obj.innerHTML=arguments[0];
}