document.write('0275\n');