/* Common functions */
function decodeURL(s) {
  return s.replace(/&/g, '&').replace(/%5B/g, '[').replace(/%5D/g, ']')
}

/* Basic paths */
pathPublic = '/FSA/public/images/info.png'.substring(0, '/FSA/public/images/info.png'.indexOf('/public') + '/public'.length)