document.write('0526\n');