document.write ('7012');