document.write('42128 ');