document.write ("40142");