document.write ('3946');