document.write('0522\n');