// JavaScript Document
Ext.isBorderBox=true;