function get(id)
{
	return document.getElementById(id);
}
function $(id)
{
	return document.getElementById(id);
}