rem: window.scrollTo(0, node.offsetTop); 
add: if (node != null) { window.scrollTo(0, node.offsetTop); } 
context: function scrollToViewTop(node) {	window.scrollTo(0, node.offsetTop);}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/be453cd5ddd0695752b2c74b206739bc90e8aa98/indexList.js/buggy/org.eclipse.help.webapp/advanced/indexList.js