function.js: modification failed. Revert to working version.