document.write(' 116142 ');