add str_insert(...) in util.php