/* Javascript functions for the HTML site */