document.write('42240\n');