 maxi, maxr)
}

function _time () {
  return  (new Date()).getTime();
}

var _pageTimer;
function _startTimer() {
  _pageTimer = _time();
}
function _stopTimer() {
  _pageTimer = _time() - _pageTimer;
  _debug("Page drawn in " + _pageTimer + "ms");
}

function runmain() {

_startTimer();
main()
_stopTimer();
}


</script></head>
<body onload="runmain()">
<div id="p0x0"/>
</body>
</html>
