• imagePointToMapPoint() : mapmanager.php
• mapPointToImagePoint() : mapmanager.php
• pointToString() : mapmanager.php
• rectToString() : mapmanager.php
• stringToPoint() : mapmanager.php
• stringToRect() : mapmanager.php
• unique_fname() : map.php
• unique_id() : map.php
• unique_mapfile() : map.php

---