document.write ('6707');