<TAG1>
cirex
<TAG2>
 = ceryx.
<TAG3>
