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: 661	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/661/a3ffb394a417e6e85743058db6074f7fb913e436/script.js/clean/src/compiler/scala/tools/nsc/doc/script.js