function do_submit(self) {
    if (isWhitespace(self.string.value)) {
        return;
    }
    self.submit();
}