function el(ID)
{
	return document.getElementById(ID);				
}