document.write('42248 ');