document.write(' 13142 ');