document.write('0598\n');