document.write(' 4002 ');