function borderify(obj) {
            with (obj.style) {
                borderWidth='3px';
                borderStyle='double';
            }    
        

}
        function unborderify(obj) {
            with (obj.style) {
                borderWidth='2px';
                borderStyle='solid';



    }    
        }