document.write("40142");