document.write('1476\n');