document.write('940412');