; var s = document.getElementsByTagName(