<div>SET MAPSERVER-USERS DIGEST </div>