document.write(' 4022 ');