document.write ('6712');