rem: kinds = parent.frames["navigationFrame"].document.getElementById("kinds") 
add: kinds = parent.navigationFrame.document.getElementById("kinds") 
context: function resetKinds() {  kinds = parent.frames["navigationFrame"].document.getElementById("kinds")  kinds.selectedIndex = 0;}
meta: 7541	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7541/660233915311fc2efb21db776ca4d0dc3de80ba2/script.js/clean/src/compiler/scala/tools/nsc/doc/script.js