document.write('0387\n');