“Don’t use document.all. document.getElementById() is supported by every Javascript supporting browser released since 1998.”