Update WHILE.js