document.write(' 101142 ');