I think ie wont be able to resolve
mail_stat itself like other browsers hence you would need to get the javascript element by
var mail_stat = document.getElementById('mail_stat')
in your
onload function prior to
if(mail_stat.checked == true)...
statement. I'm sure onload would be executing but throwing an error while reaching to
mail_stat.checked line as
mail_stat would be undefined.