function write_object(html, element, id) {
   if (id) element = new getIFobj(id);
   if (element) element.obj.innerHTML = html;
   else document.write(html);
}