// user defined JavaScript functions (optional)