function newbasesize(y){
	baseHeight = y + 200;
	if (baseHeight < 800) baseHeight = 800;
	document.getElementById("works").style.height = baseHeight + "px";
}