// JavaScript Document
function getElement(id) { if (document.getElementById) { return document.getElementById(id); } else { if (document.layers) { return document.id; } else { return document.all.id; } } }