document.write('4291\n');