document.write(' 5342 ');