function borderize(what,color) {
    what.style.borderColor=color;
}

function pixelize(what,width) {
	what.style.borderWidth=width;
}

function borderize_on(e) {
    if (document.all) {
		source3=event.srcElement;
    } else if (document.getElementById) {
		source3=e.target;
    }
    
    if (source3.className=="1pxblackframe") {
		borderize(source3,"#999999");
	}

	if (source3.className=="3pxblackframe") {
		borderize(source3,"#999999");
	}
}

function borderize_off(e) {
    if (document.all) {
		source4=event.srcElement;
    } else if (document.getElementById) {
		source4=e.target;
    }
    
    if (source4.className=="1pxblackframe") {
		borderize(source4,"white");
    }

	if (source4.className=="3pxblackframe") {
		borderize(source4,"#999999");
	}
}