/* Button Functions */ /* See scripts.js for related functions and variable definitions */ function getButton(btnText, btnHref, btnTarget, btnOnClick, baseURL, btnTitle, css_class, tabindex , onmouseover_evt, onmouseout_evt) { /// Note: an extra, optional argument may be passed to this function /// which specifies the window that should be written to. If the /// argument is not supplied, the current document window is used. if (getButton.arguments.length > 10) { doc = getButton.arguments[10]; } else { doc = document; } var t = ""; if (( doc.getElementById )||( doc.all )) { t = "