function resize(number) {
	document.getElementById("navigation").style.height = number+"px";
}