document.write('1095\n');