function korkeus_korjaus() {
	if(document.getElementById("tiedotteet_alue")){
		var korkeus = document.getElementById("tiedotteet_alue").clientHeight;
		document.getElementById("ajankohtaista_tila").style.height = korkeus + 140 + 'px';
	}
}