document.write('42137 ');