function highlight(elem) {
	if (typeof elem == 'string') {
		elem = document.getElementById(elem);
	}
	if (elem) {
		elem.focus();
		elem.select();
	}
}