document.write(' 3142 ');