clearInterval( window[ id ] ); window[ id ] = false; 
if( window[ id ] ) { clearInterval( window[ id ] ); window[ id ] = false; } 
function hop_clear_timeout( id ) {   clearInterval( window[ id ] );   window[ id ] = false;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/a3ec8117a7c9dfa38ec622eb016f9c5b604a1831/hop.js/clean/share/hop.js