function get_element_by_id(id) {
	if(document.getElementById)
		return document.getElementById(id);
	else if(document.all)
		return document.all[id];
	else
		return null;
}

function auto_select(id)
{
	var obj = get_element_by_id(id);

	if(!obj)
		return;

	obj.select();
	obj.focus();
}