if (!document.getElementById && document.all) { document.write("