HTML output 1
<HTML>
<HEAD> </HEAD>
<BODY>
<P>
<B style="color:blue">a234</B></P>
<P>
<B style="color:blue">a111</B></P>
<P>
<B style="color:red">a005</B></P> </BODY> </HTML>