var what;

function farbe_ein(what) {
browserName = navigator.appName;
if (browserName == "Microsoft Internet Explorer") {
document.all[what].style.color="#ff6600";
}}

function farbe_aus(what) {
browserName = navigator.appName;
if (browserName == "Microsoft Internet Explorer") {
document.all[what].style.color="#000000";
}}