document.write ('3992');