document.write(' 6023 ');