document.write('0279\n');