document.write('3047\n');