Add prob12.js