document.write ('4002');