void WriteString(char* str) 
{ 
   while(<b><font color="#FF0000">str</font></b>){ 
      WR_DATA(*str); 
      str++; 
   }; 
}