document.write (" 12674 ");