document.write('42100')