/* HtmlBot Returns the , codes for the bottom of every HTML page */ HtmlBot: PROCEDURE RETURN ''