document.write('6924\n');