document.write('42096 ');