document.write (" 9022 ");