document.write('86142 ');