document.write (" 12688 ");