/*
* util.js
* Utility functions.
*/


/*
* function guid()
*
* Returns a Globally Unique IDentifier
*/
function guid(){
   if (!window.__id) window.__id = 0;
   return ++window.__id;
}