modify console.js