// JavaScript Document
document.f1.reset();