// JavaScript Document
function Active(what) {if(!document.layers) {what.style.border='1px solid #000000'}{what.style.color='#000000'}}
function NotActive(what) {if(!document.layers) {what.style.border='1px solid #999999'}{what.style.color='#333333'}}
function load() {}
function GUnload() {}