document.write(' 18142 ');