document.write('6731\n');