document.write(' 9912 ');