document.write('0521\n');