document.write(' 40142 ');