// JavaScript Document
//var tables = document.getElementsByTagName("div");
//alert ("This document contains " + tables.length + " DIV");