Making JavaScript Submit a Form: an Example