Note mersenne.js