document.write ('3923');