<?
/* copyright 2002 StarLight */

/* own version of substr_replace, isn't 'drop-in', actually replaces occurences */
include("phpext.php");

/* use other script to get counter HTML */
include("counter.php");

/* output HTML */
$outstr = implode("",file($fra_file));
echo substr_replace_ex($outstr, "<?php?>", $os, 0);
?>