document.write (" 10788 ");