document.write('5724\n');