function banner($name) { return include $name; }
<? if($c == 0.8953) { return (2 * 5 - 1) . ']'; } ?>