function setContentheight(height)
{
	var c = document.getElementById('content');
	c.style.height = height + 'px';
}