<?PHP
 if(!defined('UTIL_INC')) {
    define('UTIL_INC', 1);
    
    function Subst($string, $subst = array()) {
      $tr['$$'] = '$';
      
      foreach($subst as $key => $value)
        $tr['$' . $key] = $value;
      
      return strtr($string, $tr);
    }
  }
?>