add:  RRhasPause = (/\<PAUS[^\>]*\>/gi.test(document.getElementById("RRbufferDiv").innerHTML)) ? 1 : 0; 
context: function RRinitWorm(){	document.getElementById("RRbufferDiv").innerHTML = document.getElementById("RRcontentDiv").innerHTML;	//document.body.onScroll = "updateScreenSize();"}
meta: 6464	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6464/986b5e23873822895fed8cff1a400570b772f7b7/rr_reader.js/buggy/install/htdocs/sv/readrunner/javascript/rr_reader.js