document.write('234096\n');