document.write('1067\n');