// JavaScript Document
	function size() {
	cH =document.getElementById('topprt').offsetHeight;
	cH2 =document.getElementById('hormn').offsetHeight;
	pB =cH2-cH;
	if (pB>0) {document.getElementById('topprt').style.paddingBottom=pB+'px';}
	 }