Nope, he's using double quotes on the line in question, so that's not it.
Double quotes should indeed also be used for the HTML though, using "name=\"opt$ctr\"". Most likely the browser overlooked that problem though.
_GET["opt$ctr"] should indeed work, though personally I tend to use the...