function setsize(h)
{
	document.getElementById('iframe').style.height=h+'px';
}