document.write(' 7142 ');