<%!from kaithem.src.config import config from kaithem.src import theming import socket %>
${(_k_alt_top_banner or config['top_banner_html']).replace("HOSTNAME",socket.gethostname())}