add: if ((self.innerWidth == 0)||(self.innerHeight == 0)) {  if (parent) { parent.innerHeight; parent.innerWidth; } } 
context: function getWinSize() {    // returns a Size with the current window size (mostly from www.quirksmode.org)    var wsize = new Size(100, 100);    if (defined(self.innerHeight))  {	// all except Explorer	wsize.width = self.innerWidth;	wsize.height = self.innerHeight;    } else if (document.documentElement && document.documentElement.clientHeight) {	// Explorer 6 Strict Mode	wsize.width = document.documentElement.clientWidth;	wsize.height = document.documentElement.clientHeight;    } else if (document.body) {	// other Explorers	wsize.width = document.body.clientWidth;	wsize.height = document.body.clientHeight;    }    return wsize;}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/5622bde9fccd7b6bfe6abf17665166f96b53119b/baselib.js/clean/client/digitallibrary/baselib.js