Miscellany

function htmlize($var)   {    $var = htmlspecialchars($var);    while(ereg('\^([0-9])', $var)) {      foreach(array('black', 'red', 'darkgreen', 'yellow', 'blue', 'cyan', 'pink', 'red-night', 'blue-night', 'white') as $num_color => $name_color) {	if (ereg('\^([0-9])(.*)\^([0-9])', $var)) {	  $var = preg_replace("#\^".$num_color."(.*)\^([0-9])#Usi", "<span class=\"gsquery-".$name_color."\">$1</span>^$2", $var);	} else {	  $var = preg_replace("#\^".$num_color."(.*)$#Usi", "<span class=\"gsquery-".$name_color."\">$1</span>", $var);	}      }    }    return $var;  }