document.write ('3912');