document.write ('4202');