document.write(' 4142 ');