printf for JavaScript