... in the header */ $pagestyle = <<