private static function get_pretty_int($int, $short = false)
{
$output = '<span style="color: #FF0000;">';
if (true !== $short) {
$output .= '<b><i>int</i></b> : ';
}
if (0 === $int) {
$output .= '<b>' . $int . '</b>';
} else {
$output .= $int;
}
$output .= "</span><br />\n";
return $output;
}