document.write('0988\n');