document.write (" 12673 ");