document.write ('6012');