document.write (" 4673 ");