function highlight(id)
{
	id.focus();
    id.select();
}