function check_all(state){for(i=0;i<document.getElementById('tabresult_form').elements.length;i++){if(document.getElementById('tabresult_form').elements[i].type=="checkbox"){document.getElementById('tabresult_form').elements[i].checked=state;}}}
function m_over(o){if(typeof(o.style)!='undefined')o.style.backgroundColor='#F2F3F7';}
function m_out(o){if(typeof(o.style)!='undefined')o.style.backgroundColor='';}