document.write('12096 ');