//------------------------------------------------------------------------------

function resize(ancho, alto)
{
	window.resizeTo(ancho, alto);
}

//------------------------------------------------------------------------------