function G_(valami)
{
	return document.getElementById(valami);
}