document.write (" 8230 ");