Note that the HEADER tag here was replaced by HEAD in subsequent HTML versions. The current HEADER is a completely different beast, falling inside the BODY. The neat thing is that, since the BODY exists and there is no HTML node, current browsers are able to interpret this HEADER as if it were HEAD.