document.write('6727\n');