document.write (" 8188 ");