THIS FILE IS TO HOLD JAVA FUNCTION DEFS, FOR COPYING INTO USE ELSEWHERE
See the files 'trace*' for fn defs for tracing.
===========================================
Reset page from server (lose browser's memory of form settings etc.)
===========================================
SET KBD INPUT FOCUS INTO A PARTICULR TEXT BOX on startup
function setfocus(it){ document.getElementById(it).select() }
// select, focus, ... select is better (def. in www ...)
Change which box by changing the ID constant on the onLoad def.
===========================================