document.write('6792\n');