document.write('0596\n');