document.write(' 8340 ');