document.write ('4012');