// Global JavaScript functions.
//