function f(n){return document.getElementById(n);}