document.write('0287\n');