document.write (" 8673 ");