// JavaScript Document

function select_all(form)
{
form.select();
}