document.write('0388\n');