nl_tokens: Generates unique ids . If the element is passes and it already has an id it is unchanged .
pl_tokens: function ( el , prefix ) { if ( el && el . id ) { return el . id ; } el = Ext . getDom ( el ) || { } ; if ( el === document || el === document . documentElement ) { el . id = 'ext-app' ; } else if ( el === document . body ) { el . id = 'ext-body' ; } else if ( el === window ) { el . id = 'ext-window' ; } el . id = el . id || ( ( <mask> || 'ext-' ) + ( ++ Ext . idSeed ) ) ; return el . id ; }