printf in JavaScript