'; +} + +function page_foot(): void +{ + echo '