function elem(s)
{
	return document.getElementById(s);
}