document.write('4206\n');