document.write('4120\n');