function $(elementID) {
    return document.getElementById(elementID);
}

function _(url) {
    window.location.href(url);
}

function T(element) {
	if (element != 'undefined') {
		if ($(element).style.display == 'none')
			$(element).style.display = '';
		else
			$(element).style.display = 'none';
	}
}