nome de variável javascript no Internet Explorer

O seguinte código javascript quebra no Internet Explorer, mas funciona no Firefox:

trCras = document.getElementById("trCras");

A solução é simples:

vtrCras = document.getElementById("trCras");