document.write ('10142');