<div>Hi,</div>
<div> </div>
<div>I did not find any function doing this in the manual.  Could someone suggest a good way to do this?</div>
<div> </div>
<div>Thanks</div>
<div> </div>
<div>Yifei</div>