document.write('800042');