document.write(' 5142 ');