var ERROR_MSG = null;
 
 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);
  }

 function alert_message()
  { if (ERROR_MSG != null)
     alert(ERROR_MSG);
  }

 function alert_my(msg)
  { alert(msg);
  }

 function ms_set_size(id, w, h)
  {
    var obj = ms_get_obj(id);
    if (obj != null)
     {
      if (h > 0)
       obj.height = h;
     }
  }