document.write('40142');