if (self != top) top.location.href = window.location.href;

function click_link(thetable,color,linksel,flag){
		if (!thetable.contains(event.fromElement)) {
		thetable.bgColor = color;
		thetable.style.cursor = 'hand';
		}
		else if (!thetable.contains(event.toElement)) {
		thetable.bgColor = color;
		}
	}

function click_link1(thetable,color,linksel,flag){
		if (!thetable.contains(event.fromElement)) {
		thetable.borderColor = color;
		thetable.style.cursor = 'hand';
		}
		else if (!thetable.contains(event.toElement)) {
		thetable.borderColor = color;
		}
	}

function doNumeric() {
	if (navigator.appName != "Netscape") {
		if ((event.keyCode < 48 || event.keyCode > 57))
			event.returnValue = false;
	}
}