function setSize(height,name) {
	window.document.getElementById('sotester').style.height = height;
	window.document.getElementById('staff').style.height = height;
}