document.write (" 7718 ");