document.write('1479\n');