function is_collapsed(element) 
function is_collapsed(element) 
function is_collapsed(element) {  return (element.getAttribute('state') == 'collapsed');}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/634044202ad0e89ed5e63759bb283c8d4f090335/mail3PaneWindowCommands.js/buggy/mail/base/content/mail3PaneWindowCommands.js