var i$ = function(id){ return document.getElementById(id); }
var iv$ = function(i){ return i$(i).value.replace(/(^\s*)|(\s*$)/g, "") ;}
var i$s = function(i,s){ return i$(i).getElementsByTagName(s); }
var _body = document.compatMode == 'BackCompat' ? document.body : document.documentElement ;
var getOffset = function (el, isLeft) {var retValue = 0;if(!el.parentNode) return 100000001 ;  while (el != null) {retValue += el["offset" + (isLeft ? "Left" : "Top")]; el = el.offsetParent; } return retValue;};


