// JavaScript Document

function hightlight(elem){
	elem.select();
}