document.write (" 9788 ");