//
// getID
//
function getID(element_id)
{
	return document.getElementById(element_id);
}