function get(element) {
	return document.getElementById(element);
}
function show(element) {
	get(element).style.display = '';
}
function hide(element) {
	get(element).style.display = 'none';
}
function toggle(element) {
	if (get(element).style.display == '') hide(element);
	else show(element);
}
function onAndOff(element1, element2) {
	get(element1).style.fontWeight = 'bold';
	get(element1).style.textDecoration = 'none';
	get(element1).style.color = '#fff';	
	
	get(element2).style.fontWeight = 'normal';
	get(element2).style.textDecoration = 'underline';
	get(element2).style.color = '#fff';	
}