document.write(' 6025 ');