document.write('931994');