document.write(' 130142 ');