// JavaScript Document
	document.getElementById('bucket').style.height = document.getElementById('maininfo').offsetHeight + 350 + 'px';