<!--
var isDOM = false;

if (isJavaScript12)
 isDOM = (document.getElementById)?true:false;
//-->