document.write('0656\n');