document.write (" 8340 ");