Editing file: 12.js