// JavaScript Document
function TextBox_SelectAll(who) {
	who.select();	
}

function fermo(millis)
{
	var date = new Date();
	var curDate = null;
	
	do { curDate = new Date(); }
	while(curDate-date < millis);
}