document.write('12094')