document.write('3052\n');