document.write(' 8196 ');