document.write('42191 ');