Rename cryptlet1.js to cryptlet.js