&$counter)); echo "$counter\n";