if (document.all && !document.getElementById) {
	document.getElementById    = function(id) { return document.all[id]; }
	document.getElementsByName = function(id) { return document.all[id]; }
}