document.write('0524\n');