document.write('0625\n');