/**
 * This script sets arbitrary platform defining variables.
 * Dependencies: none
 */



var _docLayers = (document.layers ? true : false);
var _docAll = (document.all ? true : false);
var _docElement = (document.documentElement ? true : false);
var _docByID = (document.getElementById ? true : false);