document.write (" 4022 ");