var highlightTimer="800";var TIMER=1000;var processFinished=1;function refresh(){if(processFinished==1){processFinished=0;realtimeObjects.update();}}function settimer(){window.setInterval("refresh()",TIMER);}function setTimerIe(){if(document.readyState=="complete"){window.setInterval("refresh()",TIMER);}else{window.setTimeout("setTimerIe()",TIMER);}}function cleartimer(){window.clearTimeout();}window.unload=function(){realtime=null;if(http_request){http_request.abort();}http_request=null;};var realtimeObjects=new RealTimeObject();
