function $(div) {
	return document.getElementById(div);
}
function show(div) {
	$(div).style.display="block";
}
function hide(div) {
	$(div).style.display="none";
}