document.write('4194\n');