function hop_default_failure( http ) {   var t = http.responseText;   var div = document.getElementById( "hop_default_failure" );   var div2 = document.getElementById( "hop_default_failure_background" );   t = t.replace( /<!DOCTYPE[^>]*>/g, "" );   t = t.replace( /<head[^>]*>/g, "<div style='display: none;'>" );   t = t.replace( /<\/head>/g, "</div>" );   t = t.replace( /<(meta|link)[^>]*>/g, "<span style='display: none'></span>" );   t = t.replace( /<html[^>]*>/g, "<div align='center' style='background: transparent; cursor: pointer' onclick='document.body.removeChild( document.getElementById( \"hop_default_failure_background\" ) ); document.body.removeChild( document.getElementById( \"hop_default_failure\" ) );' title='Click to hide this message'>" );   t = t.replace( /<\/html>/g, "</div>" );   t = t.replace( /<body[^>]*>/g, "<div align='center' style='border: 3px dashed red; overflow: auto; width: 50em; background: white; padding: 4px; font-family: sans serif; text-align: center;'>" );   t = t.replace( /<\/body>/g, "</div>" );   t = t.replace( /&quot;/g, "\"" );   if( !div2 ) {      div2 = document.createElement( "div" );      div2.id = "hop_default_failure_background";      node_style_set( div2, "position", "fixed" );      node_style_set( div2, "top", "0" );      node_style_set( div2, "bottom", "0" );      node_style_set( div2, "left", "0" );      node_style_set( div2, "right", "0" );      node_style_set( div2, "background", "#000" );      node_style_set( div2, "opacity", "0.5" );      node_style_set( div2, "overflow", "hidden" );      node_style_set( div2, "text-align", "center" );      node_style_set( div2, "z-index", "9999" );      document.body.appendChild( div2 );   }      if( !div ) {      div = document.createElement( "div" );      div.id = "hop_default_failure";      node_style_set( div, "position", "fixed" );      node_style_set( div, "top", "100px" );      node_style_set( div, "left", "0" );      node_style_set( div, "right", "0" );      node_style_set( div, "text-align", "center" );      node_style_set( div, "border", "0" );      node_style_set( div, "z-index", "10000" );      node_style_set( div, "opacity", "1" );      div.align = "center";      div.innerHTML = t;      document.body.appendChild( div );   } else {      div.innerHTML = t;   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/80e80e4ea5dcc4d357d202e8b2ef792213ad49c6/hop-request.js/buggy/share/hop-request.js