document.write ('4046');