document.write('42143 ');