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

function hide(e) {
	if (e) {
		if (e.className.indexOf("hidden") == -1) {
			e.className += ' hidden' ;
		}
	}
}

function unhide(e) {
	if (e) {
		e.className = e.className.replace(/\s*hidden\s*/, "") ;
	}
}

function getEvent(e) {
	if (e) {
		return e ;
	}
	return window.event ;
}

function getSource(event) {
	if (event.srcElement) {
		return event.srcElement ;
	}
	else {
		return event.target ;
	}
}