document.write('5601\n');