document.write('4269\n');