document.write('12096')