function height_hold_index()
{
	var information_height = parseInt(document.getElementById("informations-holder").offsetHeight);
/*	document.getElementById("box-1").style.height = information_height + 4 + "px";*/
	document.getElementById("box-2").style.height = information_height - 16 + "px";
	document.getElementById("box-3").style.height = information_height - 16 + "px";
	document.getElementById("box-4").style.height = information_height + "px";
}