function element (id) {
  if (document.getElementById != null) {
    return document.getElementById(id);
  } else if (document.all != null) {
    return document.all[id];
  } else if (document.layers != null) {
    return document.layers[id];
  } else {
    return null;
  } 
}