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