function s(A){return document.getElementById(A)};