function f(a){ a? document.write('