[
	$orig = "/#([0-9]+)/i";
	$new = "<a href=\"?id=$1\">#$1</a>";
	//$orig = "/(a+)/i";
	// $new = "b\1";
	regreplace($_args[0], $orig, $new);
]