<?
$text=file_get_contents("php://stdin");
$re="/\\\$([a-z0-9_]+)\\s*=\\s*(\\d+);/ie";
preg_replace($re, "\$\\1=\\2;", $text);
echo $taksovat_money."\n".$taksovat_baks;
?>