function fit_height(id, minus)
{
	document.getElementById(id).height=window.innerHeight-minus;
}