function create_header() {
	document.all.header.style.pixelHeight=100;
	document.all.header.style.pixelTop=100;
	document.all.links.style.pixelTop=200;
	document.all.contents.style.pixelTop=224;
	document.all.main.style.pixelTop=224;
}