if( typeof $ == 'undefined' )$ = function(id){return document.getElementById(id)};
if( typeof $C == 'undefined' )$C = function(t){return document.createElement(t)};
if( typeof $T == 'undefined' )$T = function(t){return document.createTextNode(t)};
if( typeof _A == 'undefined' )_A = function(t, c){t.appendChild(c)};
if( typeof _I == 'undefined' )_I = function(t, c){t.innerHTML = c};
if( typeof $S == 'undefined' )$S = {};