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

function setFocus(target)
{
	$(target).focus();
}