document.write('940612');