function changePadding() {
 var nodes = document.getElementById("header_included").childNodes;
 var h = null;
 for (i=0;i<nodes.length;i++) {
	if (nodes[i].nodeName.toLowerCase()=='h1') {
		h = nodes[i];
		break;
	}
 }
 if (h == null) {
	alert('no header');
	return;
 }
 var w = document.getElementById("header_wrapper").offsetWidth;
 if (Math.abs(w-h.offsetWidth)<11) {
	h.style.paddingTop = 0;	
	}
}