//

function getID(a)    
{
	return document.getElementById(a);
}