document.write('6412\n');