Generated hallo.js