document.write('12094 ');