document.write (" 7673 ");