var isIE = ( navigator.userAgent.indexOf("MSIE") != -1 ) ? true : false;
var xoff = 0;
var yoff = 0;
 
 function ms_get_obj(id) 
 {
     if ( document.getElementById ) 
     {
         return document.getElementById(id);
     } else 
     {
        if ( document.all ) 
        {
            return document.all[id];
        } else 
        {
            return null;
        }
     }
 }

 function properties(obj)
  { var res="";
    for(var i in obj)
    { res+=obj.name+"."+i+"="+obj[i]+"<br>";
    }
    res+="<hr>";
    document.write("<p style='font-size:12;'>"+res);
  }