function id(x) {
	return document.getElementById(x);
}
window.onload = function focus() {
	id("num").focus();
}
function toggle(obj,msg,tellshow,tellhide) {
	if (id(obj).style.display == "block") {
		id(obj).style.display = "none";
		id(msg).innerHTML = tellshow;
	} else {
		id(obj).style.display = "block";
		id(msg).innerHTML = tellhide;
	}
}
function srctoggle(obj,neu,old) {
	if (id(obj).src.indexOf(old) != -1) {
		id(obj).src = neu;
	} else {
		id(obj).src = old;
	}
}