1<?php
2
3// Last assigned box unique identifier.
4$GLOBALS['g_box_uid'] = 0;
5$GLOBALS['__html_box_id_map'] = array();
6
7?>