document.write ('3012');