function extraBox(the_divname, minimum_screen_width)
{
	var the_div = document.getElementById(the_divname);

	if (window.screen.width > minimum_screen_width)
	{
		the_div.style.display = 'block';
		document.getElementById('corpo').style.marginTop='0px';
		document.getElementById('corpo').style.marginLeft='40px';
	}
	else
	{
		the_div.style.display = 'none';
	}
}