function $(id) {
	return document.getElementById(id);
}
function $ts(tag) {
	return document.getElementsByTagName(tag);
}
function $t(tag) {
	return document.getElementsByTagName(tag).item(0);
}
function $n(elem) {
	return document.createElement(elem);
}