document.write ('3002');