var head = document.getElementsByTagName( "head" )[0]; 
var head = document.getElementsByTagName( "head" )[ 0 ]; 
function dom_add_head_script( pathname, id ) {   var head = document.getElementsByTagName( "head" )[0];   var script = document.createElement( 'script' );   script.type = 'text/javascript';   script.src = pathname;      if( id != undefined ) script.id = id;      head.appendChild( script );}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/080b947f4a22d104a1f4e478765ca9baef04948e/hop-dom.js/clean/share/hop-dom.js