document.write('42512 ');