document.write (" 11718 ");