document.write('12096');