document.write (" 12718 ");