function $(aID) { var element = null; if (document.getElementById)
element = document.getElementById(aID); else if (document.all)
element = document.all[aID]; else
element = document.layers[aID]; return element;}