document.write('0251\n');