document.write('0654\n');