function div_select()
	{
	document.getElementById('widgetarea').select();
	}