modified puzzler10.js and new puzzler13.js