document.write('0885\n');