var W3C = !document.all;

var getElementById = function(id)
{
	return W3C ? document.getElementById(id) : document.all[id];
};