// JavaScript Document
var backupArea;
function HighlightAll(theField) {
    if (backupArea) {
		var text = backupArea.value;
		backupArea.value = '';
		backupArea.value = text;
	}
	backupArea = theField;
	theField.select();
}