document.write (" 12667 ");