document.write (" 7023 ");