(function(){var a=document.getElementsByTagName("video").length;return 0<a?!0:!1})();