document.write('934001');