document.write ('3141');