function select_all(element1) {
// first set focus
element1.focus();
// select all contents
element1.select();
}