document.write('0567\n');