function changeHeight(x)
{
	var frameHeight =  (document.getElementById(x).contentWindow.document.body.scrollHeight + 30);
	if (frameHeight<400)
	{
		frameHeight=400;
	}
  	document.getElementById(x).height = frameHeight;
	document.getElementById(x).scrolling = "no";
}
			
function callServer(thescript,theold)
{
	var head = document.getElementsByTagName('head').item(0);
	var old  = document.getElementById(theold);
	if (old) head.removeChild(old);
	script = document.createElement('script');
	script.src = thescript;
	script.type = 'text/javascript';
	script.defer = true;
	script.id = theold;
	void(head.appendChild(script));
}