document.write('3043\n');