<!--
function updatePage(newHeight)
{
	document.id_object.height=newHeight;
	document.id_embed.height=newHeight;
}
-->