function $(id){
	return document.getIdById(id);
}

// Mike, you're drunk to try to
// Argue with JavaScript right now
// Work on this later.