document.write('934142');