document.write('940001');