document.write('5924\n');