if (!document.getElementById) {
	if(document.all)
		document.getElementById = function() {
			return document.all[arguments[0]];
		}
	else if(document.layers)
		document.getElementById = function() {
			return document[arguments[0]];
		}
}