add: dump("*** POST date = " + (new Date()).getUTCMilliseconds() + "\n"); 
context: function loadEventHandlers(event){  // Filter out events that are not about the document load we are interested in  if (event.target == _content.document) {    UpdateBookmarksLastVisitedDate(event);    UpdateInternetSearchResults(event);    checkForDirectoryListing();    getContentAreaFrameCount();    postURLToNativeWidget();  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/cbccb2cf5f993ed15e85e40ce47c6c281bdec975/navigator.js/buggy/suite/browser/navigator.js