var script = function() {
	var box4 = document.getElementById('box4');
	var box4Body = $('.body', box4)[0];
	var box3 = document.getElementById('box3');
	var box3Body = $('.body', box3)[0];
	box3Body.style.height = box4Body.clientHeight + 'px';
};

if(window.scripts == null) {
	window.scripts = [];
}

window.scripts = window.scripts.concat([script]);