document.write (" 6230 ");