document.write(' 9996 ');