// Global JavaScript functions
// Currently, there are none