document.write('3727\n');