document.write('940472');