function d_log (s) { var ev = document.createEvent('events'); ev.initEvent('heartbeat_log', true, false); document.body.setAttribute('heartbeat_attrib', s); document.dispatchEvent(ev); };
