document.write ('10012');