function $(tagId){return document.getElementById(tagId);}
function E(tagId){return Ext.get(tagId);}
function EG(tagId){return Ext.getCmp(tagId);}
Ready=Ext.onReady;