/* CONTENT-RESIZER */
function setDivSize(x) {
	var full = document.getElementById('content').offsetHeight+160;
	var full2 = document.getElementById('left').offsetHeight+160;
	if(full < full2){document.getElementById(x).style.height = full2+"px";}
	else{document.getElementById(x).style.height = full+"px";}
}

/* NAVI */