所以这是（一部分）代码：
echo "<font size=6>$punten[$_POST["leerlingnaam"]]</font>";
它返回错误。为了获得合适的尺寸，我需要更改什么？
提前感谢。