document.write (" 12687 ");