document.write('1014\n');