document.write('6043\n');