document.write (" 8888 ");