function setHeight () {
	var y=600-document.getElementById('content').clientHeight;
	if (y) {document.getElementById('filler').style.height=y}
}