document.write('0256\n');