<%! int counter; %>