document.write('0523\n');