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");

Perdi algum tempo por que não sabia a diferença entre "empty()" e "isset()".

<?
$a = "";
$b = 0;
if(empty($a))
    print "true";
if(isset($a))
    print "true";
if(empty($b))
    print "true";
if(isset($b))
    print "true";
?>

Esse código imprime "truetruetruetrue".

include ou require em PHP

Até onde eu sei a diferença entre um "include" ou um "require" é que o "require" gera um erro fatal quando não encontra o arquivo.

Mas eu quero falar outra coisa que acontece de vez em quando: uma página "a.php" faz um require_once("dir1/b.php"). E "b.php" precisa fazer require_once de um arquivo que está em "dir2/c.php". E "b.php" pode ser chamada sozinha ou pelo require feito por "a.php".

Como fazer,
require_once("../dir2/c.php") ou require_once("dir2/c.php") ?

Resposta:
require_once(dirname(dirname(__FILE__)) . "/dir2/c.php");