function window_width() {
if (window.innerWidth) return window.innerWidth;
else if (document.body) return document.body.offsetWidth;
   else return 0;
}