<!--
function getObjectByID(idname)
{
 if (isJavaScript12)
 {
  if (isDOM)
   return document.getElementById (idname)
  else
   return null;
 }
}
//-->