[coq6.gif]