Now uses document.formName instead of window.formName (this makes FireFox happy).
Authored by: keess 2005-03-23
Parent: [r1413]
Child: [r1415]