when you want to edit an external library within scriptcase, you can do it. See the next line for what I mean:
$timeFormatted = sprintf("%02d:%02d:%02d", $hours, $mins, $secs);
But when you stores, the data is converted as the next.
$timeFormatted = sprintf("?d:?d:?d", $hours, $mins, $secs);
Sure that this is a unicode conversion that is done without bad results.