if (document.all && !document.getElementById) {
	document.getElementById = function(id) {
		return(document.all(id));
	}
	document.getElementsByTagName = function(id) {
		return(document.all.tags(id));
	}
}

if (document.layers) {
	document.getElementById = function(id) {
		return(document.layers[id]);
	}
}