ok=(document.all)?1:0

function u(o) {
	if (ok) o.style.backgroundColor = "#FA7500"
}

function d(o) {
	if (ok) o.style.backgroundColor = ""
}