function setFocus(elementID)
{
	if ( document.getElementById(elementID) != undefined )
	{
		document.getElementById(elementID).focus();
	}
}